I don't think we'd take either change, but there is no particular problem with the client-side change. The KDC-side change is broken because it would prohibit using kdc_timesync.