diff -urNp --exclude CVS --exclude BitKeeper x-ref/kernel/ksyms.c x/kernel/ksyms.c
--- x-ref/kernel/ksyms.c	2003-05-27 01:47:00.000000000 +0200
+++ x/kernel/ksyms.c	2003-05-27 01:47:03.000000000 +0200
@@ -61,6 +61,8 @@ extern void set_device_ro(kdev_t dev,int
 
 extern void *sys_call_table;
 
+extern int panic_timeout;
+
 extern struct timezone sys_tz;
 extern int request_dma(unsigned int dmanr, char * deviceID);
 extern void free_dma(unsigned int dmanr);