gdbstub: Use vaddr type for generic insert/remove_breakpoint() API