# CONFIG_MIGHT_HAVE_PC_SERIO is not set
