updated installation-cd-efi from nixos