syslinux-efi64: syslinux-efi64 6.03 (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: The bootloader is signed with Fatdog64 key.
syslinux-efi64: 
syslinux-efi64: 
syslinux-efi64: 
syslinux-efi64: 
syslinux-efi64:

