phk cadc59e511 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!
1997-12-26 20:42:37 +00:00
..
1997-12-09 10:51:11 +00:00
1997-06-14 11:38:46 +00:00