Here's our log file. We set kernel parameters: acpi_dbg_level and acpi_dbg_layer. The exception in tb_table_override looks like a harmless kernel bug. The commercial BIOS gets the same error, but works fine. Any clues on why the handlers are not installed would be appreciated. Thanks.
Steve