# CONFIG_SERIO_OLPC_APSP is not set