Summary:

- Couldn't trigger dump using sysrq-c when system was forced to deadlock
  with irq disabled but could use nmi_watchdog and was able to
  take the dump.

Details and Dump analysis:
--------------------------