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