diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index a52f7ab05b5..c3d9b1005f7 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -201,9 +201,6 @@ rec {
         BLK_DEV_CMD640_ENHANCED n
 
         FUSE_FS m
-
-        # To get /dev/sda devices instead of /dev/hda
-        IDE n
       '';
     kernelTarget = "vmlinux";
     uboot = null;