Restore Defaults
Restore/load default values for all the setup options.
Save as User Defaults
Save the changes done so far as User Defaults.
Restore User Defaults
Restore the User Defaults to all the setup options.
Boot Override
These items displays the available devices. The device items that appears on the screen depends on the number of devices installed in the system. Click an item to start booting from the selected device.
Launch EFI Shell from filesystem device
Attempts to launch EFI Shell application (shellx64.efi) from one of the available filesystem devices.