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

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>

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