> boot - in UEFI mode - a bootloader from a FAT32 ESP, which in turn would
execute the extlinux boot sector of a second partition.
The Wiki page for chain.c32 specifically lists the bootloaders it can
chainload. Extlinux isn't in the list.
Excerpt from
https://wiki.syslinux.org/wiki/index.php?title=Comboot/chain.c32:>* chain.c32* is a COM32 module for Syslinux. It can chainload MBRs,
partition boot sectors, Windows bootloaders (ntldr, setupldr.bin and
bootmgr), MS-DOS and PC-DOS io.sys, Freedos kernel.sys, isolinux.bin (only
from ISOLINUX), grldr of grub4dos, or a bootsector saved to a file. It can
also swap BIOS drive numbers, or hide partitions (via partition's ID).
Maybe you can load the kernel on the other partition directly from the UEFI
instance of Syslinux that you got working?