Got it, this worked:
hdmi_timings=1200 1 148 80 148 384 1 5 5 22 0 0 0 60 0 39400000 1