gdb_server: fix ignored interrupt request from gdb during stepping