# CONFIG_SERIO_ALTERA_PS2 is not set
