Frankly I don't think it was AES. I think it's using RSA for encryption. Besides it already used it once for the 2048-bit signature as you said. Wouldn't it make way more sense to also use it for the encryption scheme. [[User:Jl12|Jl12]]
- CCI == cart/ROM format.
== imported from an external source. *Then* executed from NAND. "external source" is either an SD card or (official) debugging hardware.
I'm just explaining there are many analogues to the CXI format and they're all similar to each other but compiled/linked for different purposes mostly. (It isn't a comprehensive list, either. )