I'm not him, but I did a similar set up. You don't actually need a Gateway Card to do this, which is what the problem is.
Gateway Browser Exploit to Backup NAND -> Downgrade to 4.2 -> Use DS flashcard (I used AceKard, but he used DSTwo) to run DS Profile Exploit -> Format Emunand -> Run emunand through DS Profile Exploit "classic mode" -> Update to 9.4.
I'm using MT-card software for my Emunand, so I'm not sure if that matters. But that's the process I used, and he seems to be doing. At no point is a Gateway card needed for any of that.
For his answer, he actually can't pirate or install CIA files, since he doesn't have a gateway. Instead, he can install the CFW onto a separate SD card using again, a similar emunand setup. There's a guide posted in some other thread.
Though, as someone who doesn't have a Gateway. Is redcard the 3DS card, or the DS card? If it's the DS one, any DS flash card should work for the steps (besides gateway exclusive features, naturally). For the other, I don't think there's any non-gateway solution.
Edit: Without Gateway, you can only run homebrew/install cia files on 4.X, not on 9.X.