Make ddb(4) disassembler (x/i) use n32 register names.
Obtained from: CheriBSD MFC after: 2 weeks Sponsored by: DARPA, AFRL