[ovs-dev] [PATCH] travis: Speed up linux kernel downloads.

[Ben Pfaff]

On Tue, Feb 05, 2019 at 10:16:04AM +0300, Ilya Maximets wrote:
> CDN links are much faster in average. https://www.kernel.org/
> links shows usually less than 10 MB/s, while https://cdn.kernel.org/
> could give up to 200 MB/s and usually shows speeds much higher than
> 10 MB/s. Also, 'xz' archives are 30-50 MB smaller than gzip ones.
> It takes a bit more time to unpack them, but it's negligible in

Thanks, Ilya!  I applied this to master.