Add missing kernel source file