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