Use `.tar.gz` instead of `.zip` for kernel sources (fixes #223)