TMDSEVM437X: Rref value of TPS51200

Part Number: TMDSEVM437X
Other Parts Discussed in Thread: TPS51200

Tool/software:

I am designing a DDR circuit using the EVM(TMDSEVM437X) circuit as a reference.
The TPS51200's Rref (R41, R39) is 10kΩ, but based on the calculations in the datasheet, it needs to be 6.75kΩ or less.
Is 10kΩ correct?
If so, could you please provide more details about the design?

MT41K512M8 datasheet↓
VDDQ=1.35V
IVREF=±1uA
VREFDQ(DC)= VDDQ/2 ±1%

Calculation formula↓
ΔVref = 1.35/2 * 0.02 = 0.0135V
Iref = 1uA * 4 = 4uA
Rref≦ (2 * ΔVref)/Iref
Rref ≦ (2 * 0.0135)/4uA = 6.75kΩ