For the missing kdump, please create another bug report. This is basically irrelevant with this bug itself, but worth to track further. Did you get at least dmesg output there, or really nothing? The kernel stack trace would be sufficient as a start, not necessarily the whole core dump.