> sed: can't read /media/usbdev.euzIBT/syslinux/isolinux.cfg.cfg: No > such file or directory That's happened for me as well - I was going to complain about it and forgot.. It didn't seem to matter though, the SD card still booted properly.