s390/mm: change HPAGE_SHIFT type to int