h8300: convert to setup_initial_init_mm()