[PATCH v3 23/25] xen: missing includes