[OS-BUILD PATCHv5 1/2] [redhat] New configs in drivers/vfio