I created the USB Stick, and updated the Syslinux with syslinux --install /dev/sdX1 on arch. The presumably newer Syslinux is able to boot on UEFI   Wanted to share.