Another follow-up, the actual cross-license agreement is here[1]. From my reading of it, it can expire, among other times, when the last of the patents it covers expires. That implies to me that it is probably still in effect, since any patent covering AMD64 most likely is still valid in 2016. I don't know what or who to believe anymore.

1.http://www.sec.gov/Archives/edgar/data/2488/0001193125092367...