A utility to get kernels from my repos