16-bit PCI BIOS interface also now known to work.

diff --git a/src/arch/i386/core/pci_io.c b/src/arch/i386/core/pci_io.c
index ae2e22017e3846e6e96eb449bfa6c031bb41fcf4..acc396cf1f7d09f585fcd0c9dc015f835909394d 100644 (file)
--- a/src/arch/i386/core/pci_io.c
+++ b/src/arch/i386/core/pci_io.c
@@ -18,8 +18,6 @@
 #include "realmode.h"
 #endif
 
-#define DEBUG_PCI_IO
-
 #undef DBG
 #ifdef DEBUG_PCI_IO
 #define DBG(...) printf ( __VA_ARGS__ )