checking in syslinux files - a lot different than archlinux' PKGBUILD