diff --git a/src/hci/shell.c b/src/hci/shell.c
index 3b1493fe..2a9bfca4 100644
--- a/src/hci/shell.c
+++ b/src/hci/shell.c
@@ -18,7 +18,7 @@
 
 #include <stdint.h>
 #include <stdlib.h>
-#include <console.h>
+#include <vsprintf.h>
 #include <readline/readline.h>
 #include <gpxe/command.h>
 #include <gpxe/shell.h>
diff --git a/src/hci/strerror.c b/src/hci/strerror.c
index 8ed5d273..70331e42 100644
--- a/src/hci/strerror.c
+++ b/src/hci/strerror.c
@@ -1,6 +1,6 @@
 #include <errno.h>
 #include <string.h>
-#include <console.h>
+#include <vsprintf.h>
 #include <gpxe/errortab.h>
 
 /** @file