[Arm-dev] [PATCH v1 80/87] Fixes to get ACPI based kernel booting. Temporary fix to get going.