Re: [SeaBIOS] [PATCH] i8042_flush change