Patch from Jiri Gaisler <jgais@ws.estec.esa.nl>:

+ interrupt masking correction
  + FPU rev.B workaround
  + minor erc32 related fixes

make/custom/erc32.cfg

@@ -60,6 +60,9 @@ START_BASE=startsis
 #     time spent in the idle task is minimized.  This significantly reduces
 #     the wall time required to execute the RTEMS test suites.
 #
+#  FPU_REVB (erc32_bsp)
+#     If defined, enables work-around for bug 3.14 in FPU rev.B or rev.C
+#
 
 define make-target-options
 	@echo "/* #define NDEBUG 1 */ "                            >>$@
@@ -69,6 +72,7 @@ define make-target-options
 	@echo "#define CONSOLE_USE_INTERRUPTS 1"                   >>$@
 	@echo "#define CONSOLE_USE_POLLED ~CONSOLE_USE_INTERRUPTS" >>$@
         @echo "/* #define SIMSPARC_FAST_IDLE 1 */"                 >>$@
+	@echo "#define FPU_REVB 1"                                 >>$@
 endef