Re: #4324: Change product string in pungi for better syslinux usability