ISOlinux menu templating patches