dmesg | grep -i acpi
 BIOS-e820: 00000000dfff3000 - 00000000dfffb000 (ACPI data)
ACPI: RSDP (v002 HP                                    ) @ 0x000f4ee0
ACPI: XSDT (v001 HP     D19      0x00000002 Ò 0x0000162e) @ 0xdfff32c0
ACPI: FADT (v003 HP     D19      0x00000002 Ò 0x0000162e) @ 0xdfff3340
ACPI: SPCR (v001 HP     SPCRRBSU 0x00000001 Ò 0x0000162e) @ 0xdfff3140
ACPI: MCFG (v001 HP     ProLiant 0x00000001  0x00000000) @ 0xdfff31c0
ACPI: MADT (v001 HP     00000083 0x00000002  0x00000000) @ 0xdfff3200
ACPI: DSDT (v001 HP         DSDT 0x00000001 INTL 0x20030228) @ 0x00000000
ACPI: PM-Timer IO Port: 0x908
ACPI: Local APIC address 0xfee00000
ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] disabled)
ACPI: LAPIC (acpi_id[0x04] lapic_id[0x04] disabled)
ACPI: LAPIC (acpi_id[0x06] lapic_id[0x06] disabled)
ACPI: LAPIC (acpi_id[0x01] lapic_id[0x01] enabled)
ACPI: LAPIC (acpi_id[0x03] lapic_id[0x03] disabled)
ACPI: LAPIC (acpi_id[0x05] lapic_id[0x05] disabled)
ACPI: LAPIC (acpi_id[0x07] lapic_id[0x07] disabled)
ACPI: LAPIC_NMI (acpi_id[0xff] dfl dfl lint[0x1])
ACPI: IOAPIC (id[0x08] address[0xfec00000] gsi_base[0])
ACPI: IOAPIC (id[0x09] address[0xfec10000] gsi_base[24])
ACPI: IOAPIC (id[0x0a] address[0xfec80000] gsi_base[48])
ACPI: IOAPIC (id[0x0b] address[0xfec80400] gsi_base[72])
ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 high edge)
ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
ACPI: IRQ0 used by override.
ACPI: IRQ2 used by override.
ACPI: IRQ9 used by override.
Using ACPI (MADT) for SMP configuration information
ACPI: Core revision 20060707
ACPI: bus type pci registered
ACPI: Interpreter enabled
ACPI: Using IOAPIC for interrupt routing
ACPI: PCI Root Bridge [PCI0] (0000:00)
ACPI: Assume root bridge [\_SB_.PCI0] bus is 0
PCI quirk: region 0900-097f claimed by ICH4 ACPI/GPIO/TCO
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.IP2P._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.IPXB._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PTA0._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PTA0.PCXA._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PTA0.PCXB._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PTB0._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PTC0._PRT]
ACPI: PCI Interrupt Link [LNKA] (IRQs 5 7 10 11) *3
ACPI: PCI Interrupt Link [LNKB] (IRQs 5 7 10 *11)
ACPI: PCI Interrupt Link [LNKC] (IRQs 5 7 *10 11)
ACPI: PCI Interrupt Link [LNKD] (IRQs *5 7 10 11)
ACPI: PCI Interrupt Link [LNKE] (IRQs 5 7 10 *11)
ACPI: PCI Interrupt Link [LNKF] (IRQs 5 *7 10 11)
ACPI: PCI Interrupt Link [LNKG] (IRQs 5 7 10 11) *0, disabled.
ACPI: PCI Interrupt Link [LNKH] (IRQs 5 *7 10 11)
pnp: PnP ACPI init
pnp: PnP ACPI: found 10 devices
PCI: Using ACPI for IRQ routing
ACPI: PCI Interrupt 0000:00:02.0[A] -> GSI 16 (level, low) -> IRQ 16
ACPI: PCI Interrupt 0000:00:04.0[A] -> GSI 16 (level, low) -> IRQ 16
ACPI: PCI Interrupt 0000:00:06.0[A] -> GSI 16 (level, low) -> IRQ 16
ACPI Exception (acpi_processor-0677): AE_NOT_FOUND, Processor Device is not pres
ent [20060707]
ACPI Exception (acpi_processor-0677): AE_NOT_FOUND, Processor Device is not pres
ent [20060707]
ACPI: Thermal Zone [THM0] (8 C)
ACPI: PCI Interrupt 0000:00:1f.1[A] -> GSI 18 (level, low) -> IRQ 17
ACPI: (supports S0 S4 S5)
ACPI: PCI Interrupt 0000:00:1d.0[A] -> GSI 16 (level, low) -> IRQ 16
ACPI: PCI Interrupt 0000:00:1d.1[B] -> GSI 19 (level, low) -> IRQ 18
ACPI: PCI Interrupt 0000:07:04.0[A] -> GSI 48 (level, low) -> IRQ 19
ACPI: PCI Interrupt 0000:09:01.0[A] -> GSI 76 (level, low) -> IRQ 20
ACPI: PCI Interrupt 0000:01:02.0[A] -> GSI 17 (level, low) -> IRQ 21
ACPI: Power Button (FF) [PWRF]
ibm_acpi: ec object not found