There's also the precedent of the several ARM Linux systems they shipped that tended to have much worse support.