Reformatting the system drive takes a little more effort than other drives. Here are three ways to get it done.