# CONFIG_SERIO is not set