Request for CONFIG_VFIO modules

https://groups.google.com/forum/#!topic/coreos-dev/MGxSfJNdNkM