I just got an HP zt1145 laptop with a via chipset.
ACPI fails to load with
tbutils-0123  Tb_validate_table_head: Table signature at cf800000=20
[cefebe94] has invalid characters
tbutils-0125: *** Warning: Invalid table signature found: [ ]
tbget-0302: *** Error: Could not get the FACS
I modified tbget.c to print acpi_gbl_FADT->Xfirmware_ctrl, but it points =
00000000. (See attached dmesg.log)
I have also attached acpidmp.
Any pointers, help would be greatly appreciated.