[Linaro-acpi] luvOS build and boot on ARM64