x86: convert to setup_initial_init_mm()