K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1997-12-26T20:42:37.000000Z
K 7
svn:log
V 159
Rename "i586_ctr" to "tsc" (both upper and lower case instances).
Fix a couple of printfs too.

Warning: This changes the names of a couple of kernel options!

END