On 22.06.2015 22:45, Chris Murphy wrote: > syslinux and variants aren't used for UEFI booting, where GRUB is used instead. > You are indeed a source of a great knowledge! So do they walk with the GRUB?