Re: [coreboot] EP80579 coreboot+seabios > keyboard init issue