Looks like we can't do anything about that in the HPET code itself. Vitaliy, could you try that patch ?
Thanks, I've tried it several days ago (and still using a patched kernel :)) - the box survives.
But at which moment should I check for "Spurious interrupt" in dmesg?