Your EFI partition is 800K. Please note that 13.0 EFI loader is a bit over 800K. You need to grow this partition to fit new 13.0 EFI loader (/boot/loader.efi). Also, 13.0 loader is backward compatible and can boot 12.x pools.Uhm, since originally the machine (running 11.4) had both efi & freebsd-boot partitions, is there any chance that 13.0 booted from the efi partition previously initialized by 11.x?
Code:=> 40 1875384928 nvd0 GPT (894G) 40 1600 1 efi (800K) 1640 1024 2 freebsd-boot (512K) 2664 1432 - free - (716K) 4096 16785408 3 freebsd-swap (8.0G) 16789504 1858594816 4 freebsd-zfs (886G) 1875384320 648 - free - (324K)