K 10 svn:author V 7 sobomax K 8 svn:date V 27 2008-10-27T21:06:16.623415Z K 7 svn:log V 137 Fix r184323 - set stathz to be the same as lapic_timer_hz when lapic_timer_hz is less than 128. Remove extra {} to match existing style. END