# CONFIG_SERIO_PCIPS2 is not set