Thanks for this guide. I may have 2 questions and one "remark":
Question 1: If I follow your guide, will I need to keep the wifi on to use my red gateway card ?
Question 2: What about the blue gateway card ? Will I still be able to use it ?
Remark: I'm running 4.2 on o3ds and this thread says...