Summary:

- Secondary kernel booted properly without any issues. I was able to
  take the dump using sysrq-trigger when the system hung.

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