I tested remote-debugging a big-endian machine (gcc110.fsffrance.org) to
see how registers are actually transmitted. I confirm that they are
transmitted in big endian form. This would mean that JLinkGdbServer is
indeed at fault. I would suggest contacting Segger's support at this
point.