saladier:/home/ali# dmesg |grep -i acpi
 BIOS-e820: 000000003fff0000 - 000000003ffff000 (ACPI data)
 BIOS-e820: 000000003ffff000 - 0000000040000000 (ACPI NVS)
ACPI: RSDP (v000 NEC                                       ) @ 0x000ff9b0
ACPI: RSDT (v001 NEC    EXP5800  0x00000001 MSFT 0x01000000) @ 0x3fff0000
ACPI: FADT (v001 NEC    EXP5800  0x00000001 MSFT 0x01000000) @ 0x3fff0030
ACPI: MADT (v001 NEC    EXP5800  0x00000001 MSFT 0x01000000) @ 0x3fff00b0
ACPI: OEMR (v001 NEC    EXP5800  0x00000001 MSFT 0x01000000) @ 0x3fff0140
ACPI: DSDT (v001    NEC  EXP5800 0x00000100 INTL 0x20020918) @ 0x00000000
ACPI: PM-Timer IO Port: 0x408
ACPI: Local APIC address 0xfee00000
ACPI: LAPIC (acpi_id[0x00] lapic_id[0x00] enabled)
ACPI: LAPIC (acpi_id[0x01] lapic_id[0x06] enabled)
ACPI: LAPIC (acpi_id[0x02] lapic_id[0x01] enabled)
ACPI: LAPIC (acpi_id[0x03] lapic_id[0x07] enabled)
ACPI: LAPIC_NMI (acpi_id[0x00] high level lint[0x1])
ACPI: LAPIC_NMI (acpi_id[0x01] high level lint[0x1])
ACPI: IOAPIC (id[0x08] address[0xfec00000] gsi_base[0])
ACPI: IOAPIC (id[0x09] address[0xfec81000] gsi_base[24])
ACPI: IOAPIC (id[0x0a] address[0xfec81400] gsi_base[48])
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 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: Subsystem revision 20040326
    ACPI-0562: *** Warning: Type override - [DEB_] had invalid type (Integer) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [MLIB] had invalid type (Integer) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [DATA] had invalid type (String) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [SIO_] had invalid type (String) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [LEDP] had invalid type (String) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [GPEN] had invalid type (String) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [GPST] had invalid type (String) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [WUES] had invalid type (String) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [WUSE] had invalid type (String) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [SBID] had invalid type (String) for Scope operator, changed to (Scope)
    ACPI-0562: *** Warning: Type override - [SWCE] had invalid type (String) for Scope operator, changed to (Scope)
ACPI: Interpreter enabled
ACPI: Using IOAPIC for interrupt routing
ACPI: PCI Root Bridge [PCI0] (00:00)
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
ACPI: Embedded Controller [EC0] (gpe 8)
ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 6 7 9 *10 11 12 14 15)
ACPI: PCI Interrupt Link [LNKB] (IRQs 3 4 5 6 7 *9 10 11 12 14 15)
ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 5 6 7 9 10 11 12 14 15) *0, disabled.
ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 *5 6 7 9 10 11 12 14 15)
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.P0P1._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.P0P5.P5P6._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.P0P5.P5P7._PRT]
PCI: Using ACPI for IRQ routing
ACPI: PCI interrupt 0000:00:1d.0[A] -> GSI 16 (level, low) -> IRQ 169
ACPI: PCI interrupt 0000:00:1d.1[B] -> GSI 19 (level, low) -> IRQ 177
ACPI: PCI interrupt 0000:00:1f.1[A] -> GSI 16 (level, low) -> IRQ 169
ACPI: PCI interrupt 0000:00:1f.3[B] -> GSI 17 (level, low) -> IRQ 185
ACPI: PCI interrupt 0000:03:07.0[A] -> GSI 30 (level, low) -> IRQ 193
ACPI: PCI interrupt 0000:03:07.1[B] -> GSI 31 (level, low) -> IRQ 201
ACPI: PCI interrupt 0000:03:08.0[A] -> GSI 24 (level, low) -> IRQ 209
ACPI: PCI interrupt 0000:01:0c.0[A] -> GSI 17 (level, low) -> IRQ 185
ACPI: (supports S0 S1 S4 S5)
ACPI: PCI interrupt 0000:03:08.0[A] -> GSI 24 (level, low) -> IRQ 209
ACPI: PCI interrupt 0000:03:07.0[A] -> GSI 30 (level, low) -> IRQ 193
ACPI: PCI interrupt 0000:03:07.1[B] -> GSI 31 (level, low) -> IRQ 201
ACPI: PCI interrupt 0000:00:1d.0[A] -> GSI 16 (level, low) -> IRQ 169
ACPI: PCI interrupt 0000:00:1d.1[B] -> GSI 19 (level, low) -> IRQ 177
ACPI: Processor [CPU1] (supports C1)
ACPI: Processor [CPU2] (supports C1)
ACPI: Processor [CPU3] (supports C1)
ACPI: Processor [CPU4] (supports C1)
ACPI: Power Button (FF) [PWRF]
saladier:/home/ali#