# CONFIG_ARM_MODULE_PLTS is not set