Re: [PATCH] configs: Migrate CONFIG_ST_SMI to Kconfig