CONFIG_VFIO_CCW is not available for thedefaultarchitecture x86.
Result is shown for architecture s390

Support for VFIO-CCW subchannels

modulename: vfio_ccw.ko

configname: CONFIG_VFIO_CCW

Linux Kernel Configuration
└─>I/O subsystem
└─>Support for VFIO-CCW subchannels
In linux kernel since version 3.10 (release Date: 2013-06-30)  
This driver allows usage of I/O subchannels via VFIO-CCW.

To compile this driver as a module, choose M here: the
module will be called vfio_ccw.

source code:

depends
CONFIG_VFIO