Basically my friend followed the 3ds.guide just fine but his connection on a navy base he's on isn't exactly friendly and he can't run the arm11.bin to get arm9loaderhax, so he's stuck. I think I recall reading you can upgrade from a cart to 4.x and then upgrade back to 11.2, is that correct? He has a bunch of legit carts so that's the only thing I can think of. Soundhax isn't an option?