i tried the two kernels you mentioned above but neither has meaningful code at that address so i assume you are/were running a third kernel image. can you decode the address of ffffffff810aa1e0 (or whatever you see in your softirq messages) in your vmlinux (addr2line -e build/vmlinux -fip <address>)? can you also try the vanilla kernel?