[SeaBIOS] [PATCH] i8042_flush change