[Linaro-open-discussions] [RFC PATCH v0.1 05/25] arm64: setup: Switch over to GENERIC_CPU_DEVICES using arch_register_cpu()