[coreboot] Is windows driver for EHCI DEBUG available.