if /target/boot is analogous to /boot, then the ESP would usually get mounted to

/target/boot/EFI and the bootloader would end up in somewhere like:
/target/boot/efi/EFI/Boot/

That looks insane. However as we're not actually mounting the ESP, we can
cut out the empty mountpoint (/boot/efi)? This is either a great idea or a terrible one
I'm not sure which.

bootfiles/bootinst.bat

@@ -31,8 +31,8 @@ goto setupEFI
 goto setupEFI
 
 :setupEFI
-mkdir %DISK%:\Boot\EFI
+mkdir %DISK%:\EFI\Boot
-copy \boot\EFI\* %DISK%\Boot\EFI
+copy \boot\EFI\Boot\* %DISK%:\EFI\Boot
 goto setupDone
 
 :setupDone