Get super basic ring3 task switching working

* It looks like UEFI enables SSE, so we need to tell clang -mno-sse for
  now to not use XMM* until we're ready to save them.
* SYSCALL is working from ring3 tasks, calling console printf!

src/kernel/wscript

@@ -29,7 +29,11 @@ def build(bld):
             return node.path_from(node.ctx.launch_node())
         def run(self):
             from subprocess import check_output
-            args = self.env.objdump + ["--source", "-D", self.inputs[0].abspath()]
+            args = self.env.objdump + [
+                    "--source",
+                    "-D",
+                    "-M", "intel",
+                    self.inputs[0].abspath()]
             with file(self.outputs[0].abspath(), 'w') as output:
                 output.write(check_output(args))