Hello, I try to "decompile" the code from the big blue box dumps.
First, I am surprised that MarioKart runs 32 bits code, but Zelda and ARMS are 64 bits (so ELF_Headers are encoded in u64 too).
On the switchbrew page, http://switchbrew.org/index.php?title=NSO, there is no indication for a field...