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