I purchased a r4i-sdhc 3ds card marked with 4.5 because my son had updated his dsi to 1.4.5. I downloaded the firmware and placed it on a microsd and put it in the dsi. In red text, it loads a question mark and says menu. Am I missing something? Is there anything else I should be installing...