I don't think permission from Intel is the blocking issue for putting these binaries up on PyPI. Even with Intel's permission, we would be putting up proprietary binaries on a page that is explicitly claiming that the files linked therein are BSD-licensed. The binaries could not be redistributed with any GPLed module, say, pygsl.

We could host them on numpy.org on their own page that clearly explained the license of those files, but I think PyPI is out.