s390/vmem: fix vmem_add_range for 4-level paging