[S390] s390: use change recording override for kernel mapping