+ cp /usr/share/hwdata/pci.ids /install/cdrom/boot/isolinux/pci.ids
+ cp -vf /usr/share/syslinux/*.c32 /install/cdrom/boot/isolinux/
+ sed -e "s/VERSION/$(VERSION) - Core $(CORE)/g" \
+ $(DIR_SRC)/config/syslinux/syslinux.cfg \
+ > /install/cdrom/boot/isolinux/isolinux.cfg