The issue is with the fact that the Arndale UEFI port resides in the second GB of RAM, making it "highmem" - which causes more than a little bit of pain with runtime services and ACPI initialisation. I will discuss with Ard offline and update later.
The issue is with the fact that the Arndale UEFI port resides in the second GB of RAM, making it "highmem" - which causes more than a little bit of pain with runtime services and ACPI initialisation. I will discuss with Ard offline and update later.