[kernel] Fixes missing AST dependencies wrt kernel cmdline parameters

src/kernel_services/ast_data/ast.ml

@@ -39,6 +39,8 @@ include
            Kernel.PreprocessAnnot.self;
            Kernel.Files.self;
            Kernel.UnrollingLevel.self;
+           Kernel.Keep_unused_specified_functions.self;
+           Kernel.Keep_unused_types.self;
            Cil.selfFormalsDecl ]
      end)