Fixing some sheevaplug linux kernel configuration options,

because they were bad written.
I also added the support for tun devices.


svn path=/nixpkgs/trunk/; revision=20773

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";