Fix example kernel target JSON

Author: phil-opp

example-kernels/x86_64-bootimage-example-kernels.json

@@ -4,7 +4,7 @@
     "arch": "x86_64",
     "target-endian": "little",
     "target-pointer-width": "64",
-    "target-c-int-width": "32",
+    "target-c-int-width": 32,
     "os": "none",
     "executables": true,
     "linker-flavor": "ld.lld",