We had 5 computer affected by this problem. Every one of them booted normally into the Gnome shell (one took two tries) after a full- upgrade.
So as far as I can tell, this problem is solved. Thanks for the hard work. One day after I submitted the report is pretty good, even if the changes were made to fix a different bug. Regards, William