dramforever/nixos-riscv-efi not found