I've downgraded 6 consoles now, never formatted before doing so, and never bricked. Though pretty much all of them barely installed anything from eShop, and only one had DSiWare, which was Fieldrunners for 11.0 downgrade.Format. I've had it happen fairly frequently.
As for formatting, you can use TinyFormat, I suppose. Or just format and start with a fresh system.
Sent from my Motorola DynaTAC 8000x using Tapatalk