# CONFIG_DEBUG_SECTION_MISMATCH is not set