Patch from Jiri Gaisler <jgais@…>:
+ interrupt masking correction + FPU rev.B workaround + minor erc32 related fixes