[coreboot] [PATCH] timeout during PS/2 keyboard init