Amusingly enough, they grab the source tarball over http:

    servername=01.org/sites/default/files/downloads/intel-kernel-guard-technology
    ...
    wget http://${servername}/ikgt1.0-0amd64deb.tar.gz