s390/mm: fix flush_tlb_kernel_range()