CONFIG_IBMVIO is not available for thedefaultarchitecture x86.
Result is shown for architecture powerpc
CONFIG_IBMVIO (not configurable)
modulename: vio.ko
configname: CONFIG_IBMVIO
Linux Kernel Configuration
└─>Platform support
└─>IBMVIO