I got about half of the builds done. Unfortunately, the alt-ergo build failed on 32-bit ARM with errors that I don't understand:
I ran the build twice just in case it was alpha particles at work, but sadly got the same result, namely lots of errors messages like this:
/tmp/camlasm8765df.s: Assembler messages:
/tmp/camlasm8765df.s:34184: Error: value of 0000000000035170 too large for field of 2 bytes at 000000000000ee3e
/tmp/camlasm8765df.s:34186: Error: value of 000000000003356e too large for field of 2 bytes at 000000000000ee42
/tmp/camlasm8765df.s:34188: Error: value of 000000000003356e too large for field of 2 bytes at 000000000000ee46