# CONFIG_VIRTIO_CONSOLE is not set