Do not try to download source tar balls if already done
add linux kernel downloading