I actually didn't have to! There's a little spoofer thing that allowed me to access the e-Shop without upgrading. So I was able to download the code I redeemed with no issue! My original N3DS XL downgraded a few months ago perfectly, though.