fixed build bugs. xen can start but fail to boot with a cryptic xen-elf message