Clean Debian 3.15.5-1 kernel sources.