# CONFIG_DEBUG_INFO_COMPRESSED is not set