I just received a fix for bug #982889 via software updates. After that I tried rebooting 6 times and every boot was successful! So I think this was a duplicate of that bug all along.
I just received a fix for bug #982889 via software updates. After that I tried rebooting 6 times and every boot was successful! So I think this was a duplicate of that bug all along.