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