woof-code:Download only the kernel specified in DISTRO_SPECS

No need to download by default the 20+ kernels in the repos
We now also provide a kernel build kit in woof.