[PATCH-WIP 06/13] xen/arm: missing includes