[SeaBIOS] [PATCH] Move ps2ctr manipulation from mouse.c to ps2port.c.