# CONFIG_RELOCATABLE is not set