Add an example kernel that uses the built-in x86_64-unknown-none target
#104
+91
−0
x86_64-unknown-none target
#104