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