broken signal handling in nios2 user-mode emulation