v3.2.0
ID domain names now end with `.pci'.
Release scripts: Revived kernel.org Git repo
Release scripts: sign the tarball using GPG
Release scripts: added a script for signed tagging of releases