013c7fa4ba
'./*' produces arguments ordered by inode. efiDir produces, reliably, ./EFI, so just make all the directories known explicitly.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.