Re: [Xen-devel] [PATCH 06/24] xen: missing includes