[PATCH] x86_64: Switch to the interrupt stack when running a softirq in local_bh_enable()