Comment 35 for bug 1529381

For reference: http://www.uefi.org/sites/default/files/resources/ACPI_6.0.pdf, section 5.2.9 Fixed ACPI Description Table (FADT), see the 32 bit PM registers (PM1a_EVT_BLK etc) and their 64 bit counterparts (X_PM1a_EVT_BLK etc).

You can check if these are sane by running "sudo fwts acpidump - > dump.log"

and then checking if the 32 bit and 64 bit variants of the PM registers are different. The kernel will default to using the 64 bit variants with the faulty patch.