[coreboot] SeaBIOS support for high-speed (EHCI) USB