No matches were found for subject:"Bug#758568\: debian\-edu\-config\: Adjust PXE setup for new syslinux\/pxelinux package structure"