diff -uNr linux-2.6.23-gentoo-r8.orig/kernel/softirq.c linux-2.6.23-gentoo-r8/kernel/softirq.c
--- linux-2.6.23-gentoo-r8.orig/kernel/softirq.c	2008-03-01 14:44:15.000000000 +0100
+++ linux-2.6.23-gentoo-r8/kernel/softirq.c	2008-03-01 14:50:18.000000000 +0100
@@ -597,6 +597,10 @@
 			printk("ksoftirqd for %i failed\n", hotcpu);
 			return NOTIFY_BAD;
 		}
+#ifdef CONFIG_HIL_MLC
+		// When using HIL, ksoftirqd takes too much CPU so we reduce the nice level
+		set_user_nice(p, 15);
+#endif /* CONFIG_HIL_MLC */
 		kthread_bind(p, hotcpu);
   		per_cpu(ksoftirqd, hotcpu) = p;
  		break;