I recently experienced this problem after reformatting my laptop. The
suggestion in the FAQ appears to have solved this problem despite the lack
of an Athlon 64. I suggest the FAQ entry should be more generalised.