[Tee-dev] [RFC PATCH v2 6/6] firmware: zynqmp: use SMCCC v1.0 helper functions