laurent@portable:~$ dmesg |grep ACPI
 BIOS-e820: 000000003fff0000 - 000000003fffffc0 (ACPI data)
 BIOS-e820: 000000003fffffc0 - 0000000040000000 (ACPI NVS)
ACPI: RSDP 000E2010, 0014 (r0 OID_00)
ACPI: RSDT 3FFFFBC0, 0030 (r1 INSYDE RSDT_000        1   �&    10007)
ACPI: FACP 3FFFFAC0, 0084 (r1 INSYDE FACP_000      100   �&    10007)
ACPI: DSDT 3FFFC340, 377F (r1 INSYDE   Caiman     1002 INTL  2002036)
ACPI: FACS 3FFFFFC0, 0040
ACPI: BOOT 3FFFFB50, 0028 (r1 INSYDE ISC_BOOT      100   �&    10007)
ACPI: DBGP 3FFFFB80, 0034 (r1 INSYDE DBGP_000        1   �&    10007)
ACPI: PM-Timer IO Port: 0x1008
ACPI: Core revision 20070126
ACPI: Override [DSDT-  Caiman], this is unsafe: tainting kernel
ACPI: Table DSDT replaced by host OS
ACPI: DSDT 00000000, 329D (r1 INSYDE   Caiman     1002 INTL 20061109)
ACPI: DSDT override uses original SSDTs unless "acpi_no_auto_ssdt"ACPI: setting ELCR to 0200 (from 0860)
ACPI: bus type pci registered
ACPI: EC: Look up EC in DSDT
ACPI: Interpreter enabled
ACPI: (supports S0 S5)
ACPI: Using PIC for interrupt routing
ACPI: EC: non-query interrupt received, switching to interrupt mode
ACPI: EC: GPE = 0x19, I/O: command/status = 0x66, data = 0x62
ACPI: EC: driver started in interrupt mode
ACPI: PCI Root Bridge [PCI0] (0000:00)
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0._PRT]
ACPI: PCI Interrupt Routing Table [\_SB_.PCI0.VPCI._PRT]
ACPI: PCI Interrupt Link [LNKA] (IRQs 3 4 5 6 10 *11)
ACPI: PCI Interrupt Link [LNKB] (IRQs 5 *10 11)
ACPI: PCI Interrupt Link [LNKC] (IRQs 3 4 *5 6 10 11)
ACPI: PCI Interrupt Link [LNKD] (IRQs 3 4 5 6 10 *11)
ACPI: PCI Interrupt Link [LNKE] (IRQs 3 4 5 *6 10)
ACPI: PCI Interrupt Link [LNKF] (IRQs 3 4 *5 6 10)
ACPI: PCI Interrupt Link [LNKG] (IRQs 3 4 5 *6 10)
ACPI: PCI Interrupt Link [LNKH] (IRQs 3 4 5 6 10) *11
pnp: PnP ACPI init
ACPI: bus type pnp registered
pnp: PnP ACPI: found 9 devices
ACPI: ACPI bus type pnp unregistered
PnPBIOS: Disabled by ACPI PNP
PCI: Using ACPI for IRQ routing
ACPI: PCI Interrupt Link [LNKB] enabled at IRQ 10
ACPI: PCI Interrupt 0000:00:09.0[A] -> Link [LNKB] -> GSI 10 (level, low) -> IRQ 10
ACPI: AC Adapter [AC] (on-line)
ACPI: Battery Slot [BAT0] (battery absent)
ACPI: Power Button (FF) [PWRF]
ACPI: Sleep Button (CM) [SBTN]
ACPI: Lid Switch [LID]
ACPI: ACPI0007:00 is registered as cooling_device0
ACPI: PCI Interrupt Link [LNKD] enabled at IRQ 11
ACPI: PCI Interrupt 0000:00:04.0[A] -> Link [LNKD] -> GSI 11 (level, low) -> IRQ 11
ACPI: PCI Interrupt Link [LNKH] enabled at IRQ 10
ACPI: PCI Interrupt 0000:00:03.3[D] -> Link [LNKH] -> GSI 10 (level, low) -> IRQ 10
ACPI: PCI Interrupt Link [LNKE] enabled at IRQ 6
ACPI: PCI Interrupt 0000:00:03.0[A] -> Link [LNKE] -> GSI 6 (level, low) -> IRQ 6
ACPI: PCI Interrupt Link [LNKF] enabled at IRQ 5
ACPI: PCI Interrupt 0000:00:03.1[B] -> Link [LNKF] -> GSI 5 (level, low) -> IRQ 5
ACPI: PCI Interrupt Link [LNKG] enabled at IRQ 6
ACPI: PCI Interrupt 0000:00:03.2[C] -> Link [LNKG] -> GSI 6 (level, low) -> IRQ 6
ACPI: PCI Interrupt Link [LNKC] enabled at IRQ 5
ACPI: PCI Interrupt 0000:00:02.7[C] -> Link [LNKC] -> GSI 5 (level, low) -> IRQ 5
laurent@portable:~$