The x86 wish list: Complexities of an imaginary Intel takeover