ARM: restart: remove argument to setup_mm_for_reboot()