2 CONFIG_VIRTIO_PCI
=$(CONFIG_PCI
)
3 CONFIG_VHOST_USER_SCSI
=$(call land
,$(CONFIG_VHOST_USER
),$(CONFIG_LINUX
))
4 CONFIG_VHOST_USER_BLK
=$(call land
,$(CONFIG_VHOST_USER
),$(CONFIG_LINUX
))
9 CONFIG_S390_FLIC_KVM
=$(CONFIG_KVM
)
10 CONFIG_VFIO_CCW
=$(CONFIG_LINUX
)