Есть подозрение, что проблему локализовал, во всяком случае после фикса ее не наблюдается.... Тьфу-тьфу-тьфу, чтоб не сглазить.
Суть фикса: в БИОСе материнской платы есть настройка под названием HPET Mode (High Precision Event Timer:
http://ru.wikipedia.org/wiki/HPET). По умолчанию она стояла в 32-бит режиме. Переставил, как советуют в User Guide материнки в 64-бит, в соответствии с разрядностью ОС. Надеюсь, что дело было в этом.
Через пару дней отпишусь и отмечу тему решенной, если проблемы наблюдаться не будет.
