# CONFIG_SERIO_APBPS2 is not set