This patch fixes a bug which could cause do_softirq() to be called
at the wrong time (from do_IRQ()) or without pre-emption protection.