s390/mm: clean up pte/pmd encoding