x86: Move xen_post_allocator_init into xen_pagetable_setup_done