config INTEL_MIC_HOST
tristate "Intel MIC Host Driver"
- depends on 64BIT && PCI
+ depends on 64BIT && PCI && X86
select VHOST_RING
default N
help
config INTEL_MIC_CARD
tristate "Intel MIC Card Driver"
- depends on 64BIT
+ depends on 64BIT && X86
select VIRTIO
default N
help