I have tried to format manually but upon launching the auto-installer it still stalls painfully at formatting /dev/mmcb1k1p2 Is there a way to tell the autoinstaller that the SD is already formatted?? Many thanks.