Originally Posted by metaschima
Yes. Worked for me. I think there is a bug in Cinnamon (maybe related to systemd) that prevents it from booting properly on some machines.
In his other thread Kronstadt described that he does not even get to the grub menu. At that point, the machine does not even know that such a thing as a desktop environment is installed or even exists.
As I said before, there is no way that a different desktop will address this problem.