[PATCH v5 1/5] firmware/psci: Add definitions for PSCI v1.3 specification