Comment 2 for bug 1725390

Thanks for taking the time to file a bug! I tried building the latest Xen 4.10 rc3 on my Artful system with the following, which worked:

$ sudo apt-get build-deps xen
$ sudo apt-get install texinfo pandoc
$ wget https://downloads.xenproject.org/release/xen/4.10.0-rc3/xen-4.10.0-rc3.tar.gz
$ tar xvfz xen-4.10.0-rc3.tar.gz
$ cd xen-4.10.0-rc3
$ ./configure
# didn't do world, since I only wanted to build it and not install
$ make build -j8

I'm also using version 7.2.0 of gcc:
$ gcc -v
<snip>
gcc version 7.2.0 (Ubuntu 7.2.0-8ubuntu3)

The bits/libc-header-start.h comes from libc6-dev:
https://packages.ubuntu.com/artful/amd64/libc6-dev/filelist