Re: Working with ACPI and UEFI on ARM