13-Current not format efi partition

[Andrey Fesenko]

bsdinstall script, work in 2019

 PARTITIONS="$DISKSLICE GPT { 512K freebsd-boot, 1M efi, auto freebsd-ufs / }
 #!/bin/sh -x
 # Make diskname independante
 gpart modify -l freebsd-boot -i 1 ada0
 gpart modify -l efi -i 2 ada0
 gpart modify -l root -i 3 ada0
 # Make EFI happy
 mount_msdosfs /dev/gpt/efi /media/
 mkdir -p /media/EFI/BOOT/
 cp /boot/loader.efi /media/EFI/BOOT/BOOTX86.efi
 umount /media/

FreeBSD-13.0-CURRENT-amd64-20200206-r357606-disc1.iso not format efi partition