Good to see that it was a BIOS tweakable setting that could fix this.
BTW, the FADT is an ACPI table "Fixed ACPI Description Table" that contains setting mainly for power management as well as other hardware resources. See: http://wiki.osdev.org/FADT
Good to see that it was a BIOS tweakable setting that could fix this.
BTW, the FADT is an ACPI table "Fixed ACPI Description Table" that contains setting mainly for power management as well as other hardware resources. See: http:// wiki.osdev. org/FADT