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