# CONFIG_SERIO_CT82C710 is not set