https://cmdadmin.net/en/change-linux-boot-with-efibootmgr/