TX1 devkit designed wrong?

Hi nVidia,

On the TX1 development kit schematics you have HDMI CEC pulled up with a 162K resistor to 3.3V on page 14 (R588)

But in the OEM product design guide on page 36, you state that the pin is a 1.8V tolerant open drain type.

Is this a flaw in the TX1 devkit schematics? - should the pin really be pulled up to 1.8V instead of 3.3V?

Thanks
Lasse

HDMI_CEC pin is 3.3v tolerance, will update OEM DG later, thanks.