[PATCH 4.19 112/142] xen: xlate_mmu: add missing header to fix W=1 warning