[PATCH 4.9 42/51] xen: xlate_mmu: add missing header to fix W=1 warning