Re: [coreboot] SeaBIOS and USB UHCI keyboard support