Error during boot - RDSEED32 is broken

See:

You could try:

  1. Booting from an older kernel if there is one on your system
  2. Or in the GRUB menu, hit e to edit the boot command line, adding the parameter clearcpuid=rdseed. If that works, you can apply it permanently using sudo grubby --update-kernel=ALL --args="clearcpuid=rdseed"

This should eventually be fixed by BIOS updates as described in the linked thread.

3 Likes