Comment 4 for bug 1235616

Very interestingly, when setting `crashkernel=128M` instead of the default `crashkernel=384M-2G:64M,2G-:128M`, crashing the machine works correctly and also leaves a crashdump in /var/crash. Unfortunately setting the crashkernel parameter requires editing /etc/grub.d/10_linux directly and can not be overridden by means of /etc/default/grub.