Add kernel sources