[PATCH 0/2 gnumach] Fix xen build

[Damien Zammit]

This adds xen to the CI and exposes some compilation failures.
The second commit resolves these.

TESTED: The CI passes on xen build for --enable-ncpus=1
and does not break any other build.

Thanks,
Damien