ACPI: RSDP signature @ 0xC00FE0B0 checksum 0
ACPI: RSDP 000FE0B0, 0024 (r2 HP    )
ACPI: XSDT 77FC81BC, 0064 (r1 HPQOEM SLIC-MPC        1 HP          1)
ACPI: FACP 77FC8084, 00F4 (r4 HP     0944            3 HP          1)
ACPI Error (tbfadt-0453): 32/64X address mismatch in "Pm2ControlBlock": [00008800] [0000000000008100], using 64X [20070126]
ACPI: DSDT 77FC84A4, 11437 (r1 HP        SB400    10000 MSFT  3000001)
ACPI: FACS 77FE7D80, 0040
ACPI: SLIC 77FC8220, 0176 (r1 HPQOEM SLIC-MPC        1 HP          1)
ACPI: EPTH 77FC8398, 0038 (r1 HP     0944            1 HP          1)
ACPI: APIC 77FC83D0, 0062 (r1 HP     0944            1 HP          1)
ACPI: MCFG 77FC8434, 003C (r1 HP     0944            1 HP          1)
ACPI: TCPA 77FC8470, 0032 (r2 HP     0944            1 HP          1)
ACPI: SSDT 77FD98DB, 0059 (r1 HP       HPQNLP        1 MSFT  3000001)
ACPI: SSDT 77FD9934, 0206 (r1 HP     PSSTBLID        1 HP          1)
ACPI: DMI detected: Hewlett-Packard
ATI board detected. Disabling timer routing over 8254.
ACPI: PM-Timer IO Port: 0x8008
ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)
Processor #0 15:8 APIC version 16
ACPI: LAPIC (acpi_id[0x02] lapic_id[0x01] enabled)
Processor #1 15:8 APIC version 16
ACPI: LAPIC_NMI (acpi_id[0x01] high edge lint[0x1])
ACPI: IOAPIC (id[0x02] address[0xfec00000] gsi_base[0])
IOAPIC[0]: apic_id 2, version 33, address 0xfec00000, GSI 0-23
ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 low level)
Enabling APIC mode:  Flat.  Using 1 I/O APICs
Using ACPI (MADT) for SMP configuration information

ENABLING IO-APIC IRQs
..TIMER: vector=0x31 apic1=0 pin1=2 apic2=-1 pin2=-1
...trying to set up timer (IRQ0) through the 8259A ...  failed.
...trying to set up timer as Virtual Wire IRQ... works.

ACPI: EC: non-query interrupt received, switching to interrupt mode
ACPI: Interpreter enabled
ACPI: (supports S0 S3 S4 S5)
ACPI: Using IOAPIC for interrupt routing
ACPI: EC: GPE = 0x11, I/O: command/status = 0x66, data = 0x62
ACPI: EC: driver started in interrupt mode
ACPI: PCI Root Bridge [C08B] (0000:00)