Since the DLC to get the super mushroom is not released yet, when I said 'cheating', I meant he must have used an exploit to duplicate the items, or hacked the save.
The other solution was to use 2 different Nintendo 3DS, with separate NNID. A nice trick that could also be emulated with loading...