Beim ersten booten kommt ein shell-dialog, da gibt es einen Menüpunkt zum wiederherstellen der SD größe..
Das hat bei mir 1a geklappt