Only need printf(), so use vsprintf.h instead of console.h

diff --git a/src/hci/shell.c b/src/hci/shell.c
index 3b1493fe977667934f2ca8f47fb05b6d5856e937..2a9bfca43d64fee268242fdc993a8d27e2db5708 100644 (file)
--- 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 8ed5d2736fa792c8d3fb4dd0d6375b3df7260b6a..70331e42b7eb335e862822e2bbf8a9274037ad97 100644 (file)
--- 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