s390/vfio_ccw_cp: use new address translation helpers