Re: [PATCH v4 1/6] firmware/psci: Add definitions for PSCI v1.3 specification