add kernel downloader