Re: [PATCH 04/21] Convert CONFIG_SYS_INTERLAKEN et al to Kconfig