--- file_not_specified_in_diff +++ file_not_specified_in_diff @@ -, +, @@ --- linux.patch.orig 2005-03-04 13:47:45.000000000 +0000 +++ linux.patch 2005-03-04 15:12:32.120000000 +0000 @@ -8915,15 +8915,16 @@ diff -urN a/kernel/panic.c b/kernel/panic.c --- a/kernel/panic.c +++ b/kernel/panic.c -@@ -18,6 +18,7 @@ +@@ -18,7 +18,8 @@ #include #include #include +#include + #include "../drivers/video/fbsplash.h" int panic_timeout; int panic_on_oops; -@@ -71,6 +72,10 @@ +@@ -72,6 +73,10 @@ printk(KERN_EMERG "Kernel panic - not syncing: %s\n",buf); bust_spinlocks(0);