[Bug 1158414] GCC 10: xen build fails