Comment 28 for bug 89892

I'm wondering if this could be fixed on the hardware side. What BIOS versions are people running? I have M2.40 on my machine. There is an update to M2.41. In the list of fixes, it mentions fixing a bug in the system clock. Since random number generators often use the system clock (and I've been seeing errors about the system lock during verbose start-ups), I wonder if this might be contributing to this problem?