PATH /efi32
INCLUDE /bootmenu.cfg
MENU TITLE Syslinux EFI-32