Hello,

The attached simplfies gdbarch.sh a tiny bit - it uses gdb_assert 
instead of internal_error in a few places (from memory gdbarch.sh was 
written before gdb_assert was added).

committed,
Andrew