Try this one. It's one we photographers use to format our SD/SDHC/SDXC cards.

https://www.sdcard.org/downloads/formatter_4/