OP-TEE 3.16.0 has been released