Also, unless the allow the KT133 some extra multiplier settings, these boards should be stuck at 1250MHz. With some FSB Ocing, you can get more, but it won't "officially" support anything higher.
It also seems doubtful that they'll get the KT133 running at 133FSB without any modifications, but that would be another possible way for the boards to support future faster CPUs.