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