diff --git a/src/Makefile b/src/Makefile
index 77a2bc284..cdbd6a44f 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -243,7 +243,6 @@ version :
 
 # All drivers (excluding USB)
 #
-DRIVERS_ipxe	+= $(DRIVERS_isa_net)
 DRIVERS_ipxe	+= $(DRIVERS_pci_net)
 DRIVERS_ipxe	+= $(DRIVERS_pci_infiniband)
 
diff --git a/src/arch/i386/Makefile.pcbios b/src/arch/i386/Makefile.pcbios
index dfb8db0a0..16eea1830 100644
--- a/src/arch/i386/Makefile.pcbios
+++ b/src/arch/i386/Makefile.pcbios
@@ -4,3 +4,7 @@
 #
 MAKEDEPS	+= arch/x86/Makefile.pcbios
 include arch/x86/Makefile.pcbios
+
+# Include ISA drivers in the all-drivers build
+#
+DRIVERS_ipxe	+= $(DRIVERS_isa_net)