Ah okay, I'll see why ARM9 ITCM is not properly copied. I've provided a snapshot, you are right, I've loaded the game and updated the disassemblers, the ARM7 one shows opcodes, whereas the ARM9 one shows lines of "0x00000000 andeq r0, r0, r0" and nothing other, so ITCM is not initialized.
__________________
If you're wondering where Mario__ is, he is currently saving Peach__ once again.