# CONFIG_VIRTIO_MMIO_CMDLINE_DEVICES is not set