[Linaro-acpi] [PATCH 0/4] Clean up ACPI core to prepare for running ACPI on ARM64