Vedo che hai letto attentamente il link di prima .
NON dipende dal kernel, le tabelle ACPI sono codificate nel BIOS della scheda madre.
Quello che si può fare (seguendo l'howto che ho postato) è farne il dump, provare a ricompilarle col compilatore Intel, eventualmente correggerle e farne caricare la versione corretta al kernel durante il boot.