[Bug 1031343] xen fails to build with GCC 7