# CONFIG_DEBUG_INFO_SPLIT is not set