EDIT 25/10/2013: I’ve updated this guide to now include SDXC cards, which need to be specially formatted before you try to migrate. Find the new guide here. With demos now available on the 3D…