Chapter 7: BIOS
Restore User Defaults
To set this feature, select Restore User Defaults from the Exit menu and press
<Enter>. Use this feature to retrieve user-defined settings that were saved
previously.
Boot Override
This feature allows the user to override the Boot Option Priorities setting in the Boot
menu, and instead immediately boot the system with one of the listed devices. This
is a one-time override.
7-23