Formatting to downgrade?

My buddy bought a Wii roughtly a year ago and has now asked me to soft-mod it for him with HBC but unfortunately he has already upgraded to 4.0. Will a system format roll back the firmware to the original purchase setting?