s390/cmm: make copy_from_user() invocation provably correct