avcodec/hevc_sei: fix invalid get_bits() in a comment