Demo and build fixes

Fix a few things with rumkern_demo, so that the WOPR demo works now.

Also make it easier to build with Xen headers located somewhere else.