Added inttypes.h include directive in board.h
For now the inttypes.h of the development computer is used.
Which is a bad state. The reason is
It should be fixed by creating a stdint.h in the Baselib, which
defines types like uint32_t, etc., or by entirely replacing the Baselibs
with the newlib.
diff --git a/sam3s_example/include/board.h b/sam3s_example/include/board.h
index 8541546..72128f2 100644
--- a/sam3s_example/include/board.h
+++ b/sam3s_example/include/board.h
@@ -19,6 +19,7 @@
#include "stdio.h"
#include "stdlib.h"
#include "string.h"
+#include "inttypes.h"
#ifdef __GNUC__
#undef __GNUC__