[PATCH 4.4 31/88] xen: xlate_mmu: add missing header to fix W=1 warning