gdbserver: turn target op 'request_interrupt' into a method