I Believe have resolved the issue. The key was adding (1) to the start address of the secondary core code when calling MCMGR_StartCore(), as follows.
MCMGR_StartCore(kMCMGR_Core1, 0x00080001U, NULL, kMCMGR_Start_Synchronous);
The +1 ensures the Thumb bit is set.