Re: [PATCH] firmware: psci: register PSCI power domains to stub driver