Simon. Find the line (in kernel/sched.c) and change it to be
"Ieee, Trying to schedule in an interrupt (%p)", __builtin_return_address(0)
So we can see who is trying to schedule what. I sent Linus a diff for that
printk in my last bits as I needed it twice for networking bughunts.
Alan