[machdep] gcc builtins + incorporation of errno numbers

share/machdeps/machdep-schema.yaml

share/machdeps/machdep_avr_16.yaml

share/machdeps/machdep_gcc_x86_32.yaml

share/machdeps/machdep_gcc_x86_64.yaml

share/machdeps/machdep_ppc_32.yaml

share/machdeps/machdep_x86_32.yaml

share/machdeps/machdep_x86_64.yaml

share/machdeps/make_machdep/errno.c

share/machdeps/make_machdep/make_machdep.py

src/kernel_internals/runtime/machdep.ml

src/kernel_services/ast_data/cil_types.ml

src/kernel_services/ast_queries/cil_datatype.ml

tests/misc/custom_machdep.ml

tests/misc/custom_machdep.yaml

tests/syntax/machdep_char_unsigned.ml