[coreboot] EHCI Debug Port questions