From e0098e8408fc032a0c7b1d5b7a3cd3b4f1e226ef Mon Sep 17 00:00:00 2001
From: "William A. Kennington III" <william@wkennington.com>
Date: Wed, 7 Jan 2015 10:53:58 -0800
Subject: [PATCH] Revert "linux kernel: set VFIO_PCI_VGA to `y` for versions >
 3.9"

This reverts commit 774486a14954d81634b516eec002d1f9e2a7c203.
---
 pkgs/os-specific/linux/kernel/common-config.nix | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/pkgs/os-specific/linux/kernel/common-config.nix b/pkgs/os-specific/linux/kernel/common-config.nix
index e76ce5bfa9b..ef061459191 100644
--- a/pkgs/os-specific/linux/kernel/common-config.nix
+++ b/pkgs/os-specific/linux/kernel/common-config.nix
@@ -326,11 +326,6 @@ with stdenv.lib;
   ''}
   VIRT_DRIVERS y
 
-  # Device virtualisation.
-  ${optionalString (versionAtLeast version "3.9") ''
-    VFIO_PCI_VGA? y
-  ''}
-
   # Media support.
   ${optionalString (versionAtLeast version "3.6") ''
     MEDIA_DIGITAL_TV_SUPPORT y