ERC32_Force_interrupt implementation replaced per Jiri Gaisler's experience on the real erc32 hardware.