Comment 1 for bug 10022

We do ship syslinux.exe, but I don't think we strictly need to do so; it's for
boot sector installation on Windows. mingw32 isn't used for anything else. Do
you want me to strip it out of the .deb?