diff --git a/pkgs/top-level/platforms.nix b/pkgs/top-level/platforms.nix
index 730629731f33..43fcdea62d05 100644
--- a/pkgs/top-level/platforms.nix
+++ b/pkgs/top-level/platforms.nix
@@ -230,6 +230,15 @@ rec {
 
         # Needed for udev >= 150
         SYSFS_DEPRECATED_V2 n
+
+        VGA_CONSOLE n
+        VT_HW_CONSOLE_BINDING y
+        SERIAL_8250_CONSOLE y
+        FRAMEBUFFER_CONSOLE y
+        EXT2_FS y
+        EXT3_FS y
+        REISERFS_FS y
+        MAGIC_SYSRQ y
       '';
     kernelTarget = "vmlinux";
     uboot = null;