[Bug 948445] syslinux: pxelinux.0 created on tumbleweed does not boot