That bug actually came from Dave Chase at Google. He mentioned it to me in passing when he found it, "Hey, want to hear about this crazy hardware bug we found?" I remember just sort of looking at him with this, "you've got to be kidding me..." expression.