[Kernel] add predefined macros to avoid compiler warnings

glibc 2.35 (https://lists.gnu.org/archive/html/info-gnu/2022-02/msg00002.html)
defines macros __STDC_IEC_60559_BFP__ and __STDC_IEC_60559_COMPLEX__, which
must be ignored to avoid redefinition warnings during logic preprocessing.

src/kernel_internals/parsing/logic_preprocess.mll

@@ -45,6 +45,10 @@
     "__STDC_ANALYZABLE__"; "__STDC_IEC_559__"; "__STDC_IEC_559_COMPLEX__";
     "__STDC_LIB_EXT1__"; "__STDC_NO_ATOMICS__"; "__STDC_NO_COMPLEX__";
     "__STDC_NO_THREADS__"; "__STDC_NO_VLA__";
+
+    (* from TS 18661-1:2014 (for glibc >=2.35) *)
+    "__STDC_IEC_60559_BFP__"; "__STDC_IEC_60559_COMPLEX__";
+
     (* expanding assert, an ACSL keyword, is not a good idea. *)
     "assert";
     (* __nonnull is predefined by Clang on macOS. *)