Re: [SeaBIOS] [PATCH] ps2: Support mode for polling the PS2 port instead of using irqs