[PATCH v2 137/169] Correct SPL uses of SEC_FIRMWARE_ARMV8_PSCI