debextract kernel $(debfile syslinux-common)
debextract kernel $(debfile syslinux-efi)
debextract kernel $(debfile syslinux-utils)
debextract kernel $(debfile syslinux-common)
debextract kernel $(debfile syslinux-efi)
debextract kernel $(debfile syslinux-utils)