Link in the xen include tree to the rts include tree, as this helps with -nostdinc. Also bump halvm-ghc version.
Linking bug fixes.