Nothing of what you say proves these boards are not using engineering samples of K1. I have already seen low priced dev kits running ES.
What would be the point of using potentially hundreds if not thousands (?) of TK1 engineering samples when TK1 production is supposed to commence at this time anyway? I doubt that would be the case here. Note that first silicon for Logan was available nearly 9 months ago.