Use virtio and some 4 cores by default