Adding kernel sources