Thibaut VARÈNE Wed, 27 Dec 2017 07:04:05 -0800
Confirmed. It’s possible to recover using « nosmp » on the kernel command line (set from the bootloader).
T-Bone