drivers/pc80/Kconfig: simplify PS/2 selection rules