Thanks! Formatting to ext4 indeed made /dev/mmcblk0p4 available again.

1 Like