Index: include/hwdefs.h
===================================================================
--- include/hwdefs.h	(revision c59409ecb4964b2dfc1b86fabb892798f7c896e7)
+++ include/hwdefs.h	(revision 5c4721bf781b9a72025faf76b11122259e1bc0a4)
@@ -56,4 +56,4 @@
 /* stuff in the depths of the bios */
 
-extern	int16_t		fc_sw;
-extern	int32_t		fc_val;
+extern	volatile int16_t	fc_sw;
+extern	volatile int32_t	fc_val;