debian/syslinux-udeb.install

   1 usr/bin/syslinux
   2 usr/lib/syslinux-dev/efi32/*.efi        /usr/lib/syslinux/efi32
   3 usr/lib/syslinux-dev/efi64/*.efi        /usr/lib/syslinux/efi64
   4 usr/lib/syslinux/mbr/*mbr.bin           /usr/lib/syslinux
   5
   6 usr/bin/extlinux
   7
   8 usr/bin/isohybrid
   9 usr/lib/syslinux-dev/isolinux.bin       /usr/lib/syslinux
  10 usr/lib/syslinux/mbr/isohd*x.bin        /usr/lib/syslinux
  11
  12 usr/lib/syslinux-dev/*pxelinux.0        /usr/lib/syslinux