Re: [Tee-dev] [PATCH v6 preview 1/6] arm/arm64: add smccc