Create a thread for OCaml

Otherwise, it uses the tiny bootstrap stack (and schedule probably
doesn't work).
Hack: Replaced Xen checksum code with Unix version

The Xen version does unaligned double-word accesses, which fault on ARM.