# CONFIG_HW_RANDOM_VIRTIO is not set
