Это можно понять, посмотрев на компилятор Clang, используемый в Apple Xcode. Из исходного кода компилятора видно, что он получил поддержку 4-ядерных ARM-процессоров Armada XP.
Хотя, конечно, это не означает, что в новом iPhone или iPad будет использоваться процессор Marvell. Ведь последний вполне может оказаться простой «заглушкой», а действующие прототипы гаджетов Apple получат совершенно другие 4-ядерные процессоры.