diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 01f498d2def8..2ab0be62a78f 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -223,10 +223,7 @@ rec {
         UBIFS_FS_ZLIB y
         UBIFS_FS_DEBUG n
       '';
-    kernelTarget = "uImage";
-    uboot = "sheevaplug";
-    # Only for uboot = uboot :
-    ubootConfig = "sheevaplug_config";
+    kernelTarget = "zImage";
     gcc = {
       arch = "armv6";
       fpu = "vfp";