Raspberrypi platform: make ext4 in kernel

I also make other modules in-kernel. I originally copied this
from the sheevaplug kernel, but the sheevaplug runs the initrd
and the raspberrypi not.

pkgs/top-level/platforms.nix

@@ -147,14 +147,10 @@ rec {
         DM_CRYPT m
         MD y
         REISERFS_FS m
-        BTRFS_FS m
+        BTRFS_FS y
         XFS_FS m
-        JFS_FS m
+        JFS_FS y
-        EXT4_FS m
+        EXT4_FS y
-        USB_STORAGE_CYPRESS_ATACB m
-
-        # mv cesa requires this sw fallback, for mv-sha1
-        CRYPTO_SHA1 y
 
         IP_PNP y
         IP_PNP_DHCP y
@@ -184,12 +180,7 @@ rec {
         CIFS_FSCACHE y
         CIFS_ACL y
 
-        WATCHDOG y
-        WATCHDOG_CORE y
-        ORION_WATCHDOG m
-
         ZRAM m
-        NETCONSOLE m
 
         # Fail to build
         DRM n
@@ -213,15 +204,6 @@ rec {
 
         # Latencytop 
         LATENCYTOP y
-
-        # Ubi for the mtd
-        MTD_UBI y
-        UBIFS_FS y
-        UBIFS_FS_XATTR y
-        UBIFS_FS_ADVANCED_COMPR y
-        UBIFS_FS_LZO y
-        UBIFS_FS_ZLIB y
-        UBIFS_FS_DEBUG n
       '';
     kernelTarget = "zImage";
     uboot = null;