[kbuild-all] Re: [PATCH v3] Kconfig.debug: Make DEBUG_INFO selectable from a choice