[SeaBIOS] Re: [PATCH v4 0/2] fix PS/2 keyboard initialization failures