1 files changed, 4 insertions, 0 deletions
diff --git a/rc.d/rc.sysinit b/rc.d/rc.sysinit
index b1745179..c33de8c2 100755
--- a/rc.d/rc.sysinit
+++ b/rc.d/rc.sysinit
@@ -714,6 +714,10 @@ if grep -q "ide-scsi" /proc/cmdline ; then
 fi
 
 # Generate a header that defines the boot kernel.
+
+# workaround for bug #112116
+rm -f /boot/kernel.h
+
 /sbin/mkkerneldoth
 
 # Adjust symlinks as necessary in /boot to keep system services from