Hacker News Reader

>Just tell the bios which partition you want to boot.

That would work! Thanks a lot.

In case of, I found that tool when I was searching for something just like efibootmgr (it might help too).

Have fun, you don't have to wait.