distro_bootcmd: call EFI bootmgr even without having /EFI/boot