Add virtio to SEC kernel