gdb/vax: Use default gdbarch methods where possible