RE: [PATCH 04/17] xen: Add essential and required interface headers