Comment # 10 on bug 1170109 from Joey Lee

Hi Robinson, 

Could you please provide dmesg with the following kernel parameters?
    debug loglevel=9 efi=debug

The most important is efi=debug, it will print out the EFI memory map. On the
other hand, please also provide ACPI dump:

 # acpidump > acpidump.raw

Thanks a lot!