[SeaBIOS] Re: [PATCH] ps2port: adjust init routine to fix PS/2 keyboard issues