Comment by pinewurst

Remember that the RPi SoC isn't primarily ARM. There's a multistage process to boot the VPU/GPU which in turn runs the ARM as a sort of child.