The MBA hardly needs to get thinner. As for ARM, there's nothing about ARM that would prevent it from having the same performance as an x86. It would require a big deep pipeline and a bunch of extra circuitry, and power use would skyrocket, but you could do it. It would probably use less power than an x86 too, since it's a lot simpler design without tons of legacy cruft wasting power and die area.