[coreboot] ps2 keyboard init in seabios