diff --git a/pkgs/os-specific/linux/kernel/generic.nix b/pkgs/os-specific/linux/kernel/generic.nix
index 9a459136dc6..ff6099e7457 100644
--- a/pkgs/os-specific/linux/kernel/generic.nix
+++ b/pkgs/os-specific/linux/kernel/generic.nix
@@ -47,8 +47,6 @@ assert stdenv.system == "i686-linux" || stdenv.system == "x86_64-linux"
   || stdenv.system == "armv5tel-linux";
 
 assert platform.name == "sheevaplug" -> platform.uboot != null;
-assert (platform.name == "sheevaplug" || platform.name == "versatileARM") ->
-  stdenv.system == "armv5tel-linux";
 
 let