config S390_CCW_VIRTIO
    bool