Use the best kernel sources