You got it right. This is what you have to do unless you have a backup BIOS or CMOS capable of holding multiple sets of settings. With my gigabyte if the settings fail it reboots with the last settings that worked just like windows. If I screw it up too badly the entire BIOS recopies from the backup.