@escherbach:
There is in fact a ARM9 core inside the SoC. That the core is not listed on 3dbrew or in docs, doesn't mean it is not there. It is hidden for a reason and the reason is, because it is the security core. If you don't believe, look in the python tools for 3DS thread. They thought they run their code on ARM11 too, but then they found out, that's not the case.
And btw i don't know, what you want to proof with just coprocessors.
Well, arm9 code runs on arm11, you're probably confusing that with the actual existence of a physical arm9 cpu. In fact the checksum code would probably be pure arm9 anyway - unless they found a use for new arm11 simd instructions in the checksum routine