Strange, I thought those kind of settings would only take place only after the BIOS finished its job. Are you certain it's F10? Usual candidates are also F8 and F12.
Anyways, one solution is to reset the bios. The motherboard manual will instruct on which jumper to set in order to do this.
