Comment # 3 on bug 1207066 from Aaron Williams

I am not using the OBS UEFI firmware image. I work on the firmware build system 
for an ARM chip manufacturer and cannot go into any details on the
unreleased/unannounced chip I am working on. I am working with an internal UEFI
release based on the latest GIT release. When building it, however, it is
failing due to the iasl tool being out of date. In the meantime, I have built
the latest release of acpica and with that I am able to build UEFI.