The other BIOS menus should be fine as they are.
Always 'double-booting' is usually a symptom of the earlier DS3 BIOS's. It's doing no harm if it's keeping the overclock settings, tho you can update to a newer BIOS (I'd try F10) if it's annoying you. You'll have to reset all your BIOS settings after updating the BIOS.
Always 'double-booting' is usually a symptom of the earlier DS3 BIOS's. It's doing no harm if it's keeping the overclock settings, tho you can update to a newer BIOS (I'd try F10) if it's annoying you. You'll have to reset all your BIOS settings after updating the BIOS.