Add references to ARM's machine model #756

Job	Run time
benchcomp-tests	5m 31s
bookrunner	27m 20s
perf	33m 47s
regression (macos-11)	40m 6s
regression (ubuntu-20.04)	30m 2s
regression (ubuntu-22.04)	33m 13s
releasebundle-macos (macos-11)	10m 19s
releasebundle-ubuntu	31m 18s
write-json-symtab-regression	19m 49s
	3h 51m 25s

Provide feedback