Re: [coreboot] SeaBIOS and USB?