[SeaBIOS] [PATCH 0/1] fix PS/2 keyboard initialization failures