# CONFIG_SERIO_PS2MULT is not set