diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 6ac865ea8d88..5244769a261f 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -43,9 +43,10 @@ rec {
         EXT4_FS m
         USB_STORAGE_CYPRESS_ATACB m
 
-        CONFIG_IP_PNP y
-        CONFIG_NFS_FS y
-        CONFIG_ROOT_NFS y
+        IP_PNP y
+        NFS_FS y
+        ROOT_NFS y
+        TUN m
 
         # Fail to build
         DRM n
@@ -61,8 +62,6 @@ rec {
         ATM_HE n
         SCSI_ACARD n
         BLK_DEV_CMD640_ENHANCED n
-
-        IP_PNP y
       '';
     kernelTarget = "uImage";
     uboot = "sheevaplug";