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