I think someone would get those Intel X86 rights. However there may be questions on whether the rights from AMD like A64 are transferable. But if some company buys the entire Intel X86 division, I bet that counts as the patents remaining within the division that has the rights, although it is under different ownership. We recently had the Arm vs Qualcomm case that showed this can be allowed.
Anyways this might be disruptive, and the immediate effect would probably be that AMD X86 will be a lot more expensive.