*** Bug 2172849 has been marked as a duplicate of this bug. ***
Thanks, Zhijun. I can grab the vmcore files now and load it successfully in the debugger.