[Tee-dev] OP-TEE 3.4.0 has been released