Easier workaround (which also avoids the network problems at least I had): Choose an earlier kernel from the boot menu.
Easier workaround (which also avoids the network problems at least I had): Choose an earlier kernel from the boot menu.