K 10 svn:author V 6 eivind K 8 svn:date V 27 1998-01-25T04:37:47.000000Z K 7 svn:log V 54 Turn CLK_USE_TSC_CALIBRATION into a new-style option. END