x86: introduce initmem_init for 64 bit