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