Coreboot tableThis driver can be used to access debug info from Windows on a device running coreboot.You'll want to unhide the ACPI\BOOT0000 device.