Comment 13 for bug 221351

I ended up writing my own gettimeofday(1) loop program; unfortunately, I was unable to get it to trigger the RTC problem on my single die quad-core machine. I've attached the program so that others who saw this bug can reproduce it for verification. I note that the original upstream reporter claimed to have more success triggering the vsyscall version of gettimeofday(1) (i.e. on amd64/x86_64).