They were not using ARM, but Tensilica chips with Xtensa instruction set - https://en.wikipedia.org/wiki/Tensilica#Xtensa_instruction_s...