s390/mm: use set_pXd()/set_pte() helper functions everywhere