Add Olimexino-STM32 board support from David Sidrane

system/composite/composite_main.c

@@ -730,7 +730,7 @@ int conn_main(int argc, char *argv[])
 
   /* Perform architecture-specific initialization */
 
-  printf("conn_main: Performing architecture-specific intialization\n");
+  printf("conn_main: Performing architecture-specific initialization\n");
   ret = composite_archinitialize();
   if (ret < 0)
     {

system/usbmsc/usbmsc_main.c

@@ -41,6 +41,7 @@
 
 #include <sys/types.h>
 #include <stdio.h>
+#include <stdbool.h>
 #include <stdlib.h>
 #include <unistd.h>
 #include <debug.h>