Get only the HEAD of the Ubuntu kernel overlay, to speedup the download.