If he did that, then he wouldn't be able to use the Acekard on his 3DS again. My understanding is, if you want the Acekard to work with the new firmware, then you need to update it internally before you get the 3.0.0-5 firmware or it won't work. What's preventing him from doing that is the fact his Acekard isn't even accessible until there's a fix for the Mario update block.