Apparently, the ARM9 size in the secure area can also differ by 0x4000.

I'm sure there's some rhyme or reason for this behavoir, but I don't
know it.