I misread the last reply to the "parent thread" of this one - I went with CPSID instead of CPSIE, which obviously doesn't Enable interrupts but Disables them.
Simply using CPSIE still sent me straight to Prefetch Abort state. But moving hal_mcuIsrInit() to the line just after the exception flag clearing (line 376 in hal_mcu.c in the previous attachment) fixed that issue. Now I'm curious - can the reason this instruction juggle alleviated my problem be known (maybe it's obvious even)?
Regards,
Lucas