make debball fails on Ubuntu 20.04: More valid-addrs than all-addrs

[Mathieu Tarral <mathieu.tarral@xxxxxxxxxxxxxx>]

Hi,

I'm facing a small issue when trying to generate a debball on Ubuntu 20.04
with the latest Xen master (27357c394ba6e1571a89105b840ce1c6f026485c):

ld: xen.efi: warning: section .init: alignment 2**15 not representable
nm -pa --format=sysv ./xen.efi \
        | ./tools/symbols --all-symbols --xensyms --sysv --sort >./xen.efi.map
rm -f ./.xen.efi.[0-9]* ./..xen.efi.[0-9]*
/bin/sh ./tools/check-endbr.sh xen.efi
check-endbr.sh xen.efi Error: More valid-addrs than all-addrs
make[3]: *** [arch/x86/Makefile:219: xen.efi] Error 1
make[2]: *** [build.mk:90: xen] Error 2
make[1]: *** [Makefile:567: xen] Error 2


So the script fails at this location:
https://github.com/xen-project/xen/blob/master/xen/tools/check-endbr.sh#L91

Any idea what happened ?

For reference, this is a Dockerfile to repro the issue:
https://gist.github.com/Wenzel/c49e7cf2c5bdbc4a767002b59cd4d772

Thank you in advance

Mathieu Tarral