Посредством гугленья и чтения зарубежных маил-листов, появилась догадка...
Итак, вопрос:
Те, у кого зависает (зависало), у вас двухядерные процессоры?
Есть предположение, что зависания происходят из-за неправильной синхронизации так называемого TSC (Time Stamp Counter) между ядрами процессора.
TSC используется как высокоточный таймер для тактирования ядра.
Однако ядро можно переключить на другой таймер, например так:
clocksource=acpi_pm
Вместо acpi_pm можно также пробовать pit.