* Patches by Richard Woodruff, 10 Jun 2004:
  - fix problems with examples/stubs.c for GCC >= 3.4
  - fix problems with gd initialization

* Enable FAT filesystem support for HMI10 board
diff --git a/lib_i386/board.c b/lib_i386/board.c
index b26d3d5..a180814 100644
--- a/lib_i386/board.c
+++ b/lib_i386/board.c
@@ -244,6 +244,8 @@
 	show_boot_progress(0x21);
 
 	gd = global_data = &gd_data;
+	/* compiler optimization barrier needed for GCC >= 3.4 */
+	__asm__ __volatile__("": : :"memory");
 
 	memset (gd, 0, sizeof (gd_t));
 	gd->bd = &bd_data;