# CONFIG_SERIO_PHYTIUM_PS2 is not set
