Fixed usage of va_arg().

cpukit/ChangeLog

@@ -1,3 +1,7 @@
+2009-12-01	Sebastian Huber <sebastian.huber@embedded-brains.de>
+
+	* libcsupport/src/vprintk.c: Fixed usage of va_arg().
+
 2009-11-30	Joel Sherrill <joel.sherrill@oarcorp.com>
 
 	* libmisc/shell/login_prompt.c: Fix problem where timeout on login

cpukit/libcsupport/src/vprintk.c

@@ -80,7 +80,8 @@ void vprintk(
       c = *++fmt;
     }
     if ( c == 'c' ) {
-      char chr = va_arg(ap, char);
+      /* need a cast here since va_arg() only takes fully promoted types */
+      char chr = (char) va_arg(ap, int);
       BSP_output_char(chr);
       continue;
     }