Bug #957053 has been opened to track the missing kdump. Due to that bug, no dmesg output was produced - the kdump handler didn't even get to run the crash kernel.