Only download kernel, build