I am very new on this forum and not sure if this is the right section to ask for help. My two sons' acekard 2i do not work anymore and I have to buy an R4i flash carts. My sons have dsi v.1.4.1 consoles. What R4i flashcarts model must I buy that work well for their dsi v1.4.1? Are those r4i pre-loaded with kernel/firmware (sorry, I am not well verse about this) that would be a plug and play onto their dsi v1.4.1? I am in USA, so where can I buy these r4i flashcarts? I know there are few websites I see but which ones are reliable and can accept payment from USA and can ship items to USA. I hope you guys can help. If the r4i flashcarts are not pre-loaded with kernel/firmware, where can I get those? Will the seller provide the kernel/firmware and instructions? Thanks a lot in advance.