Another possible workaround: add nosmp to the kernel commandline (e.g. press F6, escape, then type nosmp and press enter). That worked for me two out of two times.
Another possible workaround: add nosmp to the kernel commandline (e.g. press F6, escape, then type nosmp and press enter).
That worked for me two out of two times.