diff --git a/modules/installer/cd-dvd/installation-cd-efi.nix b/modules/installer/cd-dvd/installation-cd-efi.nix
new file mode 100644
index 00000000000..1d7af6401ef
--- /dev/null
+++ b/modules/installer/cd-dvd/installation-cd-efi.nix
@@ -0,0 +1,22 @@
+{ config, pkgs, ... }:
+
+{
+  require = [ ./installation-cd-graphical.nix ];
+
+  boot.kernelPackages = pkgs.linuxPackages_3_3;
+  boot.vesa = false;
+
+  # What follows should probably move into base once the base kernel has the
+  # efi boot stub
+
+  # Get a console as soon as the initrd loads fbcon on EFI boot
+  boot.initrd.kernelModules = [ "fbcon" ];
+
+  # Enable reading EFI variables via sysfs
+  boot.kernelModules = [ "efivars" ];
+
+  # efi-related tools
+  environment.systemPackages = [ pkgs.efibootmgr ];
+
+  isoImage.makeEfiBootable = true;
+}
diff --git a/modules/installer/cd-dvd/installation-cd-new-kernel.nix b/modules/installer/cd-dvd/installation-cd-new-kernel.nix
index 1d7af6401ef..c7ea5ddfb01 100644
--- a/modules/installer/cd-dvd/installation-cd-new-kernel.nix
+++ b/modules/installer/cd-dvd/installation-cd-new-kernel.nix
@@ -3,20 +3,6 @@
 {
   require = [ ./installation-cd-graphical.nix ];
 
-  boot.kernelPackages = pkgs.linuxPackages_3_3;
+  boot.kernelPackages = pkgs.linuxPackages_3_2;
   boot.vesa = false;
-
-  # What follows should probably move into base once the base kernel has the
-  # efi boot stub
-
-  # Get a console as soon as the initrd loads fbcon on EFI boot
-  boot.initrd.kernelModules = [ "fbcon" ];
-
-  # Enable reading EFI variables via sysfs
-  boot.kernelModules = [ "efivars" ];
-
-  # efi-related tools
-  environment.systemPackages = [ pkgs.efibootmgr ];
-
-  isoImage.makeEfiBootable = true;
 }