* alpha-tdep.c (alpha_register_type): Use builtin_type (gdbarch)