Fix target spec JSON for example kernel by adding rustc-abi field

Author: phil-opp

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

@@ -11,5 +11,6 @@
     "linker": "rust-lld",
     "panic-strategy": "abort",
     "disable-redzone": true,
-    "features": "-mmx,-sse,+soft-float"
+    "features": "-mmx,-sse,+soft-float",
+    "rustc-abi": "x86-softfloat"
   }