diff --git a/sys/sys/kernel.h b/sys/sys/kernel.h
index c7e06b6516a4..2dd6252b8c1f 100644
--- a/sys/sys/kernel.h
+++ b/sys/sys/kernel.h
@@ -65,8 +65,6 @@ extern char domainname[MAXHOSTNAMELEN];
 extern int domainnamelen;
 extern char kernelname[MAXPATHLEN];
 
-/* 1.2 */
-
 extern int tick;			/* usec per tick (1000000 / hz) */
 extern int hz;				/* system clock's frequency */
 extern int psratio;			/* ratio: prof / stat */