[S390] Fix vmalloc area size calculation.