[seL4] Sel4 VMM Virtio Net Related Porting on Other SOC