Hi Guys,
I have detailed the steps I did to get our ACPI stuff running with EFI/GRUB2.
https://wiki.linaro.org/LEG/Engineering/Kernel/ACPI/ACPIviaEFI
And I have uploaded a demo tree which is our ACPI work on top of the lce_2013 branch of Leif.
https://git.linaro.org/gitweb?p=people/graemegregory/linux.git%3Ba=shortlog%...
Thanks
Graeme