util.h: needs <inttypes.h>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

include/util.h

 #ifndef __UTIL_H
 #define __UTIL_H
+#include <inttypes.h>
 
 /* Color codes for cprintf()/pcprintf() */
 #define C_DIM 0x80