[SeaBIOS] [PATCH 2/3] ps2: Eliminate "etc/ps2-poll-only"; use CONFIG_HARDWARE_IRQ instead