Fixed porteus configuration in syslinux