[Linaro-acpi] [PATCH 09/10] ARM64 / ACPI: Introduce arch_register/unregister_cpu() for arm64