Well I was running my weekly scan of Nintendo’s CDN (the server where Nintendo hosts eShop Titles), and the EUR version of Mario Kart 7’s title ID was added, sometime between now and last thursday.

You might call me wrong, but if you look at the TMD, it says the title has a manual and DLP Child, just like Mario Kart 7. And the NCCH files on CDN are very close to the size of the NCCH files from the EUR version of the ROM:

Executable NCCH: CDN/ROM = 609/611mb
Manual NCCH: CDN/ROM = 2.69/2.52mb
Dlp Child Container NCCH: CDN/ROM = 26.5/26.5mb

I honestly do not see any reason for Nintendo to stop bringing, old and new, 3DS games to the digital world. I would put this rumor as believable.

Link