Confirmed. It’s possible to recover using « nosmp » on the kernel command line (set from the bootloader). T-Bone