The point is, as they released their own Linux variant, also under GPL, they have no case.

The fact that they have now withdrawn it does not make it proprietary again.
GPL allows you to take source code and change it or incorporate it as long as you re-publish your source code under GPL. Which is exactly what the other vendors have done.

It ceased to become proprietary as soon as they released it under GPL