splice: Make splice from a DAX file use copy_splice_read()