after BIOS update: cannot start Linux anymore

[PaulDlb]

My system is a Dual Boot (Windows 10 and Linux Mint 18.1).

After a BIOS update from version 1.09 to 1.17, the system does not support anymore the dual boot. It always boots by default using the UEFI Windows file.

When I press F9, I can manually select the  EFI\ubuntu\grubx64.efi file to boot from, which then brings me to the dual boot menu.

However, I am missing the "Define customized boot option" in the BIOS set up (that was available in the previous version) to enforce a default boot from  said file.

In short: how can I "customize the boot option" in version 1.17?

Kind regards - Paul

[PaulDlb]

I was able to solve the problem by studying the following forum thread:

https://askubuntu.com/questions/244261/how-do-i-get-my-hp-laptop-to-boot-into-grub-from-my-new-efi-f...

In my particular case, it was sufficient to use the "boot-repair" ("Recommended Repair") program to bring back the menu to select an OS during booting.