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