Working with ACPI and UEFI on ARM