Re: [PATCH] firmware: scmi: correct a validity check against power domain id