If I set up kdump and issue 'echo c > /proc/sysrq-trigger' with an HDMI cable attached to a TV and to the Mini DisplayPort on my Dell XPS 13 laptop, the crashkernel crashes right away on at least 3.10.5 and 3.11.3. If I disconnect the cable, the crashkernel loads fine. I'm running Gentoo.
Dmesg?
Insufficient data to proceed. Please reopen, with requested data, if the problem persists with newer kernels.