s390/mm: use hugetlb_bad_size()