syslinux-efi64: syslinux-efi64 6.0.3pre11 (UEFI bootloader)  
syslinux-efi64:  
syslinux-efi64: This package contains syslinux bootloader for 64-bit EFI (that 
syslinux-efi64: is, UEFI) systems.  
syslinux-efi64: 
syslinux-efi64: 
syslinux-efi64: 
syslinux-efi64: 
syslinux-efi64: 
syslinux-efi64: 
syslinux-efi64:

