NixOS has a module option in systemd-boot that automatically configures boot entries for Windows without requiring me to copy over the EFI folder [ref]