It would be disastrous for Intel to enforce the 20% clause (if it exists, I don't know). All of Intel's 64bit eggs are in the x86-64 extension pioneered by AMD. If Intel yanked the x86 license, AMD could turn around and drop the floor out from under every 64 bit CPU Intel has except the Itanium.