Move av_div_i()'s comments to the header file. The comments are unaltered.