[Kernel] minor fixes after review

src/kernel_services/cmdline_parameters/cmdline.mli

@@ -399,7 +399,7 @@ val deterministic: bool
 val permissive: bool
   (** Downgrades some command-line errors to warnings, such as
       unknown option names and invalid values for some options
-      (e.g. inexistent function names).
+      (e.g. non-existent function names).
 
       @since Frama-C+dev *)
 

src/kernel_services/plugin_entry_points/kernel.ml

@@ -1639,6 +1639,7 @@ let () =
 let checks = add_group "Checks"
 
 let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
 let () = Parameter_customize.do_not_reset_on_copy ()
 module Check =
   False(struct
@@ -1649,6 +1650,7 @@ module Check =
   end)
 
 let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
 module Copy =
   False(struct
     let option_name = "-copy"
@@ -1658,6 +1660,7 @@ module Copy =
   end)
 
 let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
 let () = Parameter_customize.set_negative_option_name ""
 module TypeCheck =
   True(struct
@@ -1710,6 +1713,7 @@ module Deterministic =
     end)
 
 let () = Parameter_customize.set_group checks
+let () = Parameter_customize.do_not_projectify ()
 let () = Parameter_customize.set_negative_option_name ""
 let () = Parameter_customize.set_cmdline_stage Cmdline.Early
 module Permissive =