A formatted system won't make a difference in this case. The moment you connect to the eShop, your unique Serial # on the sticker located at the bottom of the device is logged server side. Formatting never changes this number, no matter the circumstances.