stubdom: Fixes for gcc 4.2.4 32bit

diff -r 562e77f7112f extras/mini-os/include/types.h
@@ -89,6 +89,5 @@
 #ifndef HAVE_LIBC
 typedef long ssize_t;
 #endif
-typedef unsigned long size_t;
 
 #endif /* _TYPES_H_ */

diff -r 562e77f7112f extras/mini-os/pcifront.c
@@ -216,10 +216,10 @@
     dev->info->op = *op;
     /* Make sure info is written before the flag */
     wmb();
-    set_bit(_XEN_PCIF_active, &dev->info->flags);
+    set_bit(_XEN_PCIF_active, (void*) &dev->info->flags);
     notify_remote_via_evtchn(dev->evtchn);
 
-    wait_event(pcifront_queue, !test_bit(_XEN_PCIF_active, &dev->info->flags));
+    wait_event(pcifront_queue, !test_bit(_XEN_PCIF_active, (void*) &dev->info->flags));
 
     /* Make sure flag is read before info */
     rmb();