diff --git a/src/include/device/device.h b/src/include/device/device.h
index 25f730b..b347d39 100644
--- a/src/include/device/device.h
+++ b/src/include/device/device.h
@@ -240,7 +240,6 @@
 
 /* Debug macros */
 #if CONFIG(DEBUG_FUNC)
-#include <console/console.h>
 #define DEV_FUNC_ENTER(dev) \
 	printk(BIOS_SPEW, "%s:%s:%d: ENTER (dev: %s)\n", \
 		__FILE__, __func__, __LINE__, dev_path(dev))