Added missing kernel source file.