[Tee-dev] virtio device for OP-TEE