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