kernel/softirq.c :: do_softirq() has a typo in the type of the `cpu'
value.  I incorrectly set it to `unsigned long' in a previous patch...
this is a CPU value not a bitmask and is thus an `int'.