I was able to reproduce this same issue on bare metal HP BL460G7 server. After applying the attached patch the issue appears resolved. I verified I was able to load and then boot into the new kernel with kexec -e as well as successfully collect a core dump after executing sysrq-c.
Thanks, Mike Bacco mike@debian-mbtest:~$ uname -rsv Linux 3.16.0-4-686-pae #1 SMP Debian 3.16.7-ckt7-1 (2015-03-01) mike@debian-mbtest:~$ sudo kdump-config load Could not find an installed debug vmlinux image and DEBUG_KERNEL is not specified in /etc/default/kdump-tools [warn] makedumpfile may be limited to -d 1 ... (warning). [ ok ] loaded kdump kernel. -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org