# CONFIG_EXPOLINE_OFF is not set