nixpkgs/pkgs/by-name/ef
..
efibootmgr