[PATCH 0/1] virtio: add driver for virtio_console devices