mark> Sorry about that. I forgot to check in the regenerated gdbarch.[ch]. mark> Realized it later, but you managed to check out in the 4-hour window mark> in-between. Works for me now. Thanks! Michael C