Dmesg related to x86 ACPI

[    0.000000]  BIOS-e820: 00000000bf77f000 - 00000000bf7cf000 (ACPI NVS)
[    0.000000]  BIOS-e820: 00000000bf7cf000 - 00000000bf7ff000 (ACPI data)

ACPI: Advanced Configuration and Power Interface Specification
NVS: Non-Volatile Sleep 
Per ACPI spec,  ACPI architecture is: 

[    0.000000] ACPI: RSDP 000FF000, 0024 (r2 INTEL )
[    0.000000] ACPI: XSDT BF7FE120, 0064 (r1 INTEL   SNB_CPT        0       1000013)
[    0.000000] ACPI: FACP BF7FC000, 00F4 (r3 INTEL   SNB_CPT        0 MSFT       5F)
[    0.000000] ACPI: DSDT BF7F4000, 55EB (r2 INTEL   SNB-CPT        0 INTL 20080729)
[    0.000000] ACPI: FACS BF7BC000, 0040
[    0.000000] ACPI: APIC BF7FD000, 0084 (r1 INTEL   SNB_CPT        0 MSFT       5F)
[    0.000000] ACPI: HPET BF7FB000, 0038 (r1 INTEL   SNB_CPT        1 MSFT       5F)
[    0.000000] ACPI: MCFG BF7FA000, 003C (r1 INTEL   SNB_CPT        1 MSFT       5F)
[    0.000000] ACPI: SSDT BF7F3000, 0780 (r1  PmRef  Cpu0Ist     3000 INTL 20080729)
[    0.000000] ACPI: SSDT BF7F2000, 0996 (r1  PmRef    CpuPm     3000 INTL 20080729)
[    0.000000] ACPI: SSDT BF7F1000, 02DA (r1  PmRef  Cpu0Tst     3000 INTL 20080729)
[    0.000000] ACPI: SSDT BF7F0000, 035D (r1  PmRef    ApTst     3000 INTL 20080729)
[    0.000000] ACPI: no DMI BIOS year, acpi=force is required to enable ACPI
[    0.000000] ACPI: acpi=force override
[    0.000000] ACPI: Local APIC address 0xfee00000
[    0.000000] ACPI: LAPIC (acpi_id[0x01] lapic_id[0x00] enabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x02] lapic_id[0x02] enabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x03] lapic_id[0x01] enabled)
[    0.000000] ACPI: LAPIC (acpi_id[0x04] lapic_id[0x03] enabled)
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x01] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x02] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x03] high edge lint[0x1])
[    0.000000] ACPI: LAPIC_NMI (acpi_id[0x04] high edge lint[0x1])
[    0.000000] ACPI: IOAPIC (id[0x02] address[0xfec00000] gsi_base[0])
[    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 0 global_irq 2 dfl dfl)
[    0.000000] ACPI: INT_SRC_OVR (bus 0 bus_irq 9 global_irq 9 high level)
[    0.000000] ACPI: IRQ0 used by override.
[    0.000000] ACPI: IRQ2 used by override.
[    0.000000] ACPI: IRQ9 used by override.
[    0.000000] ACPI: HPET id: 0x8086a201 base: 0xfed00000
[    0.000000] Using ACPI (MADT) for SMP configuration information
[    0.040619] ACPI: Core revision 20080609
[    0.791545] ACPI: bus type pci registered
[    0.814900] ACPI: EC: Look up EC in DSDT
[    0.839154] ACPI: BIOS _OSI(Linux) query ignored
[    0.839158] ACPI: If "acpi_osi=Linux" works better, please notify linux-acpi@vger.kernel.org
[    0.848705] ACPI: Interpreter enabled
[    0.848708] ACPI: (supports S0 S5)
[    0.848742] ACPI: Using IOAPIC for interrupt routing
[    0.864124] PCI: MCFG area at f8000000 reserved in ACPI motherboard resources
[    0.887006] ACPI: PCI Root Bridge [PCI0] (0000:00)
[    0.889338] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
[    0.891635] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.RP01._PRT]
[    0.892398] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PEG0._PRT]
[    0.893081] ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.PEG3._PRT]
[    0.904548] ACPI: PCI Interrupt Link [LNKA] (IRQs 1 3 4 5 6 10 11 12 14 15) *0, disabled.
[    0.904954] ACPI: PCI Interrupt Link [LNKB] (IRQs 1 3 4 5 6 10 11 12 14 15) *0, disabled.
[    0.905355] ACPI: PCI Interrupt Link [LNKC] (IRQs 1 3 4 5 6 10 11 12 14 15) *0, disabled.
[    0.905762] ACPI: PCI Interrupt Link [LNKD] (IRQs 1 3 4 5 6 10 11 12 14 15) *0, disabled.
[    0.906158] ACPI: PCI Interrupt Link [LNKE] (IRQs 1 3 4 5 6 10 11 12 14 15) *0, disabled.
[    0.906555] ACPI: PCI Interrupt Link [LNKF] (IRQs 1 3 4 5 6 10 11 12 14 15) *0, disabled.
[    0.906958] ACPI: PCI Interrupt Link [LNKG] (IRQs 1 3 4 5 6 10 11 12 14 15) *0, disabled.
[    0.907352] ACPI: PCI Interrupt Link [LNKH] (IRQs 1 3 4 5 6 10 11 12 14 15) *0, disabled.
[    0.907661] ACPI: Power Resource [FN00] (off)
[    0.907774] ACPI: Power Resource [FN01] (off)
[    0.907882] ACPI: Power Resource [FN02] (off)
[    0.908003] ACPI: Power Resource [FN03] (off)
[    0.908113] ACPI: Power Resource [FN04] (off)
[    0.913827] pnp: PnP ACPI: found 9 devices
[    0.913830] ACPI: ACPI bus type pnp unregistered
[    0.915040] PCI: Using ACPI for IRQ routing
[    0.946321] ACPI: RTC can wake from S4