1. Hacked seabios to extend FADT to include 64 bit X_* PM registers which pointed to garbage address
2. Boot vivid QEMU VM with old kernel and modified (broken) BIOS
3. Observe kernel failures
4. Install new kernel (3.19.0.49-generic) #55 (Jan 22)
5. Add acpi_force_32bit_fadt_addr to kernel boot line
6. Reboot
7. Observe no kernel failures.
8. Boot with new kernel and original "sane" seabios BIOS
9. Observe no kernel failures.
Verified on Vivid.
Steps used:
1. Hacked seabios to extend FADT to include 64 bit X_* PM registers which pointed to garbage address 32bit_fadt_ addr to kernel boot line
2. Boot vivid QEMU VM with old kernel and modified (broken) BIOS
3. Observe kernel failures
4. Install new kernel (3.19.0.49-generic) #55 (Jan 22)
5. Add acpi_force_
6. Reboot
7. Observe no kernel failures.
8. Boot with new kernel and original "sane" seabios BIOS
9. Observe no kernel failures.
Looks good to me on Vivid.