[S390] Improve notify_page_fault implementation.