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-08-09 00:04:06 +00:00
1997-08-09 00:04:06 +00:00
1997-08-09 00:04:06 +00:00