And how would one reformat an SDXC card to ext4 format using windows OS? I only see exFAT in Format option..