[Tee-dev] [PATCH v4 preview 1/5] arm/arm64: add smccc ARCH32