[SeaBIOS] [PATCH] ps2port: Enable keyboard write for i8042 before reset