Re: [PATCH 1/2] firmware: PSCI: Fix PSCI support for OF live trees