add more

#ifndef lint
static char rcsid[] = "$Id:$";
#endif

to *.c source

src/cpu/p6/l2_cache.c

@@ -28,6 +28,11 @@
  * Intel Architecture Software Developer's Manual
  * Volume 3: System Programming
  */
+
+#ifndef lint
+static char rcsid[] = "$Id$";
+#endif
+
 #include <cpu/p6/msr.h>
 #include <cpu/p6/mtrr.h>
 #include <cpu/p5/cpuid.h>

src/lib/printk.c

@@ -5,6 +5,9 @@
  *
  */
 
+#ifndef lint
+static char rcsid[] = "$Id$";
+#endif
 
 //typedef void * va_list;
 

src/lib/serial_subr.c

@@ -1,3 +1,6 @@
+#ifndef lint
+static char rcsid[] = "$Id$";
+#endif
 
 #include <cpu/p5/io.h>
 #include "serial_subr.h"

src/lib/vsprintf.c

@@ -9,6 +9,9 @@
  * Wirzenius wrote this portably, Torvalds fucked it up :-)
  */
 
+#ifndef lint
+static char rcsid[] = "$Id$";
+#endif
 
 #include <stdarg.h>
 #include <types.h>

src/pc80/keyboard.c

@@ -1,3 +1,7 @@
+#ifndef lint
+static char rcsid[] = "$Id$";
+#endif
+
 #include <cpu/p5/io.h>
 #include <subr.h>
 /* much better keyboard init courtesy ollie@sis.com.tw 

src/superio/sis/950/superio.c

@@ -1,3 +1,7 @@
+#ifndef lint
+static char rcsid[] = "$Id$";
+#endif
+
 // just define these here. We may never need them anywhere else
 #define PNP_COM1_DEVICE 0x1
 #define PNP_COM2_DEVICE 0x2