it should be pretty simple, just format your sdcard with gparted, select ext4 as file system and it should automatically be formatted as mmcblk1p1, there's not much, you can do wrong here, i think. at least for me it worked this way