fix for booting isolinux config via GRUB