Add Attachment:NIXOS-43: optionally copy the kernel and initrd to /boot