Question about proper fix for missing syslinux files