Re: [PATCH 10/20] Convert CONFIG_MISC_INIT_F et al to Kconfig