ARM isn't more efficient than x86 at that scale. Below 15W or so, it is, but not scaled up. I think there are other good reasons for it--like having more than three companies that can produce them--but not that.