subtle screwup this week with formatting uSD card for 32-bit linux

ran into an interesting glitch this week in a course -- i have a
"" script that formats a uSD card and creates the FAT and
linux filesystems on it and the "mkfs.vfat" command used a "-F 32"
option which i never looked at closely since i stole that script from
somewhere and it's worked all this time because i've always run it on
64-bit linux systems, but the students were running 32-bit fedora on
64-bit linux hardware, and *none* of their formatted uSD cards would


and poking around a while revealed that that "-F 32" option was the
problem, so i simply removed it and all was well.

  just in case that helps anyone else avoid the grief.