xen/mmu: The xen_setup_kernel_pagetable doesn't need to return anything.