Re: [PATCH v2 1/3] drm: fix print format of sequence in trace point