[seL4] two questions when I add virtio net with virtio_console meanwhile in arm-vm project