main/xen: fix hvmloader

hvmloader is 32 bit but pulled in 64bit stdint from musl headers. we solve
this by providing our own stdint_local.h

elf.h pulls in stdint.h too so we ship our own elf_local.h too

ref #3308