Re: [coreboot] Seabios/Coreboot USB Keyboard support