use stdio where appropriate

oh the irony, stdio used where it shouldn't be and not used where
it should be ...

diff --git a/platform/xen/lib/libc_stubs.c b/platform/xen/lib/libc_stubs.c
index 641863c08d8edc258b8c7008c55de7d551c9cf1e..008af34a26eb064b55e03dfe5eede4a09bad684f 100644 (file)
--- a/platform/xen/lib/libc_stubs.c
+++ b/platform/xen/lib/libc_stubs.c
@@ -1,13 +1,12 @@
-#include <mini-os/console.h>
-
 #include <errno.h>
+#include <stdio.h>
 
 #define STUB(name)                             \
   int name(void); int name(void) {             \
        static int done = 0;                    \
        errno = ENOTSUP;                        \
        if (done) return ENOTSUP; done = 1;     \
-       minios_printk("STUB ``%s'' called\n", #name);   \
+       printf("STUB ``%s'' called\n", #name);  \
        return ENOTSUP;}
 
 STUB(__sigaction14);