Use gdbarch obstack to allocate types in alloc_type_arch