changed from using handle_mm_fault to get_user_page and reduce code deduplication in order to correct the bug at bootstrap