# CONFIG_SERIO_PARKBD is not set