Why would they switch back after spending so much developing their own ARM CPUs?