Feb 8 18:42:09 pluto kernel: __va_range(0x3f6e30c0, 0x74): idx=33 mapped at fffdd000
Feb 8 18:42:09 pluto kernel: ACPI table found: FACP v1 [IntelR AWRDACPI 16944.11825]
Feb 8 18:42:09 pluto kernel: __va_range(0x3f6e7540, 0x24): idx=33 mapped at fffdd000
Feb 8 18:42:09 pluto kernel: __va_range(0x3f6e7540, 0x3c): idx=33 mapped at fffdd000
Feb 8 18:42:09 pluto kernel: ACPI table found: MCFG v1 [IntelR AWRDACPI 16944.11825]
Feb 8 18:42:09 pluto kernel: ACPI: Unsupported table MCFG
Feb 8 18:42:09 pluto kernel: __va_range(0x3f6e7440, 0x24): idx=33 mapped at fffdd000
Feb 8 18:42:09 pluto kernel: __va_range(0x3f6e7440, 0x90): idx=33 mapped at fffdd000
Feb 8 18:42:09 pluto kernel: ACPI table found: APIC v1 [IntelR AWRDACPI 16944.11825]
Feb 8 18:42:09 pluto kernel: __va_range(0x3f6e7440, 0x90): idx=33 mapped at fffdd000
Feb 8 18:42:09 pluto kernel: LAPIC (acpi_id[0x0000] id[0x0] enabled[1])
Feb 8 18:42:09 pluto kernel: CPU 0 (0x0000) enabledProcessor #0 Unknown CPU [15:4] APIC version 20
Feb 8 18:42:09 pluto kernel:
Feb 8 18:42:09 pluto kernel: LAPIC (acpi_id[0x0001] id[0x1] enabled[1])
Feb 8 18:42:09 pluto kernel: CPU 1 (0x0100) enabledProcessor #1 Unknown CPU [15:4] APIC version 20
Feb 8 18:42:09 pluto kernel:
Feb 8 18:42:09 pluto kernel: LAPIC (acpi_id[0x0002] id[0x2] enabled[0])
Feb 8 18:42:09 pluto kernel: CPU 2 (0x0200) disabled
Feb 8 18:42:09 pluto syslog: klogd startup succeeded
Feb 8 18:42:09 pluto kernel: LAPIC (acpi_id[0x0003] id[0x3] enabled[0])
Feb 8 18:42:09 pluto kernel: CPU 3 (0x0300) disabled
Feb 8 18:42:09 pluto kernel: IOAPIC (id[0x4] address[0xfec00000] global_irq_base[0x0])
Feb 8 18:42:09 pluto kernel: IOAPIC (id[0x5] address[0xfec84400] global_irq_base[0x18])
Feb 8 18:42:09 pluto kernel: INT_SRC_OVR (bus[0] irq[0x0] global_irq[0x2] polarity[0x0] trigger[0x0])
Feb 8 18:42:09 pluto kernel: INT_SRC_OVR (bus[0] irq[0x9] global_irq[0x9] polarity[0x1] trigger[0x3])
Feb 8 18:42:09 pluto kernel: LAPIC_NMI (acpi_id[0x0000] polarity[0x1] trigger[0x1] lint[0x1])