Re: [PATCH 4/5] firmware: scmi: add configs to select the supported agents