Summary:

- Secondary kernel booted properly without any issues. I was able to
  take the dump

- Didn;t see the previous problem reported on the similar setup
    http://bugme.osdl.org/show_bug.cgi?id=4573

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