dmesg | grep ACPI
gave me:
BIOS-e820: 000000001f7f0000 - 000000001f7f3000 (ACPI NVS)
BIOS-e820: 000000001f7f3000 - 000000001f800000 (ACPI data)
ACPI: RSDP (v000 IntelR ) @ 0x000f6290
ACPI: RSDT (v001 IntelR AWRDACPI 0x42302e31 AWRD 0x00000000) @ 0x1f7f3040
ACPI: FADT (v001 IntelR AWRDACPI 0x42302e31 AWRD 0x00000000) @ 0x1f7f30c0
ACPI: MADT (v001 IntelR AWRDACPI 0x42302e31 AWRD 0x00000000) @ 0x1f7f6b00
ACPI: DSDT (v001 INTELR AWRDACPI 0x00001000 MSFT 0x0100000e) @ 0x00000000
ACPI: Disabling ACPI support
ACPI: Interpreter disabled.
pnp: PnP ACPI: disabled
PCI quirk: region 0400-047f claimed by ICH4 ACPI/GPIO/TCO
which seemed suspicious. Then /sbin/modprobe acpi gave:
