EFI boot menu manipulation for macOS, like efibootmgr
