Update linux kernel checkout for Ubuntu

Ubuntu just uses 'linux' as the package name, no need for looking up a source package name.