Script for getting linux kernels from distro site (ubuntu only as yet)