This is a great gnome-extension if you have multiple boot managers in UEFI: RebootToUEFI
Installed with: