diff --git a/drivers/pci/pci_auto.c b/drivers/pci/pci_auto.c
index e8da977673..43965d8a2a 100644
--- a/drivers/pci/pci_auto.c
+++ b/drivers/pci/pci_auto.c
@@ -14,7 +14,6 @@
 #include <errno.h>
 #include <pci.h>
 
-#undef DEBUG
 #ifdef DEBUG
 #define DEBUGF(x...) printf(x)
 #else