Index: include/hwdefs.h
===================================================================
--- include/hwdefs.h	(revision c59409ecb4964b2dfc1b86fabb892798f7c896e7)
+++ include/hwdefs.h	(revision 23e159756f34f707cf8bef4107e0ce2e0783d334)
@@ -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;