# CONFIG_SERIO_LIBPS2 is not set