Heads up: Timer Problems

[Joerg Sonnenberger <joerg@xxxxxxxxxxxxxxxxx>]

Hi all,
if you did experience timer problems like system time going wild,
please try the new "options TIMER_USE_1" in your kernel config and
report if this does (not) solve your problem. Even if you don't have
problems, I'd like to know if this change does break any machine.

Joerg