[IA64] Make xenitp more '|tee' friendly

Flush stdout after printing the prompt.

Signed-off-by: Tristan Gingold <tgingold@free.fr>

tools/debugger/xenitp/xenitp.c

@@ -1577,6 +1577,7 @@ void xenitp (int vcpu)
         int len;
 
         printf ("XenITP> ");
+        fflush (stdout);
 
         if (fgets (buf, sizeof (buf), stdin) == NULL)
             break;