--- Gnu-Mach/i386/device-drivers.h.in	2020/09/02 04:37:52	1.1.1.2
+++ Gnu-Mach/i386/device-drivers.h.in	2020/09/02 04:39:53	1.1.1.3
@@ -28,6 +28,7 @@
 #undef CONFIG_SCSI_AM53C974
 #undef CONFIG_NE2000
 #undef CONFIG_EL2
+#undef CONFIG_EL3
 #undef CONFIG_WD80x3
 #undef CONFIG_EL1
 #undef CONFIG_ULTRA