Re: [coreboot] Help test SeaBIOS USB ohci keyboard