[Kernel] normalize restrict attribute to __restrict

share/libc/features.h

src/kernel_internals/typing/cabs2cil.ml

src/plugins/variadic/tests/known/oracle/print_libc.pretty.c

src/plugins/variadic/tests/known/oracle/printf.res.oracle

...variadic/tests/known/oracle/printf_wrong_arity.res.oracle

...iadic/tests/known/oracle/printf_wrong_pointers.res.oracle

...variadic/tests/known/oracle/printf_wrong_types.res.oracle

src/plugins/variadic/tests/known/oracle/scanf.res.oracle

...plugins/variadic/tests/known/oracle/scanf_loop.res.oracle

...lugins/variadic/tests/known/oracle/scanf_wrong.res.oracle

src/plugins/variadic/tests/known/oracle/snprintf.res.oracle

...lugins/variadic/tests/known/oracle/stdio_print.res.oracle

...plugins/variadic/tests/known/oracle/stdio_scan.res.oracle

tests/libc/oracle/fc_libc.1.res.oracle

tests/libc/oracle/inttypes_h.0.res.oracle

tests/libc/oracle/inttypes_h.1.res.oracle

tests/libc/oracle/inttypes_h.2.res.oracle

tests/libc/oracle/inttypes_h.3.res.oracle

tests/libc/oracle/inttypes_h.4.res.oracle

tests/libc/oracle/inttypes_h.5.res.oracle