v4l2-dv-timings.h: fix polarity for 4k formats