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