Honestly I think Jobs would’ve been all for dropping x86. They also derived an immense amount of value from the effort to move to x86, so it’s not like it was wasted.