Você precisa instalar o pacote syslinux-efi
primeiro, ele não está pré-instalado.
Do que você pode encontrar os arquivos abaixo /usr/lib/SYSLINUX.EFI/
Este pacote contém apenas os arquivos binários e não os mergulhadores * .c32 para criar um bootmenu, por exemplo.