[SeaBIOS] [PATCH] ps2: Disable keyboard and mouse before flushing the queue