AMDs initial x86 processors were indeed as an IBM mandated second source, but I think their 386 class (and definitely 486 class) processors were independently developed. I suspect Intel won't cancel existing licenses for anti-trust reasons, but also would price a new license for a lot more than in the 486 days.