на самом деле нужно смотреть глубже.
Это кусочек dmesg с инфой о найденых ACPI таблицах:
[ 0.000000] ACPI: RSDP 000f6750 00014 (v00 GBT )
[ 0.000000] ACPI: RSDT 3f7f3040 00038 (v01 GBT AWRDACPI 42302E31 AWRD 01010101)
[ 0.000000] ACPI: FACP 3f7f30c0 00074 (v01 GBT AWRDACPI 42302E31 AWRD 01010101)
[ 0.000000] ACPI: DSDT 3f7f3180 03828 (v01 GBT AWRDACPI 00001000 MSFT 0100000C)
[ 0.000000] ACPI: FACS 3f7f0000 00040
[ 0.000000] ACPI: MCFG 3f7f6ac0 0003C (v01 GBT AWRDACPI 42302E31 AWRD 01010101)
[ 0.000000] ACPI: APIC 3f7f6a00 00068 (v01 GBT AWRDACPI 42302E31 AWRD 01010101)
[ 0.000000] ACPI: SSDT 3f7f6b40 0019E (v01 PmRef Cpu0Ist 00003000 INTL 20040311)
[ 0.000000] ACPI: SSDT 3f7f6fd0 00167 (v01 PmRef CpuPm 00003000 INTL 20040311)самая интересная и важная - DSDT
[ 0.000000] ACPI: DSDT 3f7f3180 03828 (v01 GBT AWRDACPI 00001000 MSFT 0100000C)
MSFT - означает что она собрана при помощи MS компилятора.
INTL - эталонного компилятора от intel.
в 98% случаев декомпилированный код от MSFT не соберётся обратно.
Делайте выводы сами.
PS. компиляция декомпиляция AML <-> ASL происходит в обоих направления без потерь, один в один.
тут больше инфы http://forums.gentoo.org/viewtopic.php?t=122145