Found in issue. See the comment.
GDB sets disassembly options incorrectly based on insufficient data. It needs the following register to determine the CPU (and hence the correct disassembly option):
micro_arch_build
This probably means that the support for the BCR register has to be added to ptrace and then GDB should ask the remote stub for this value. The remote stub can be GDBserver, or QEMU and nSIM themselves in case of a baremetal application.