[PATCH 139/171] Correct SPL uses of SEC_FIRMWARE_ARMV8_PSCI