add kernel sources