b4947e6cfe
Those tests always were muted for K1 because of incompatible module structure in testdata, so there is no actual sense to even generate them for K1