[coreboot] [dbm690t] The new acpi table doesn't seem to be correct.