IXP clock rate question