Re: [PATCH v5 04/13] kconfig: Update IS_ENABLED() internals