Xen now looks for a section with name '__xen_guest' starting from a second section.

A simple workaround is to make two '__xen_guest' sections (with a small patch of xenelf.c):

diff -r xen/mkfile xen2/mkfile
105c107,108
<       ./xenelf.$cputype $target.elf $target __xen_guest ''$XENELF''
---
>       ./xenelf.$cputype $target.elf $target.elf2 __xen_guest ''$XENELF''
>       ./xenelf.$cputype $target.elf2 $target __xen_guest ''$XENELF''
diff -r xen/xenelf.c xen2/xenelf.c
131c131,132
<       ns = 0; //GETS(&e.shnum);
---
>       ns = GETS(&e.shnum);