As anticipated, the second reboot fails, and needs a third reboot where I add the option "nosmp". The fact that the same kernel can boot well (all 4 CPUs working) or not boot (fails at SMP) depending on the prior boot is incomprehensible to me.
As anticipated, the second reboot fails, and needs a third reboot where I add the option "nosmp". The fact that the same kernel can boot well (all 4 CPUs working) or not boot (fails at SMP) depending on the prior boot is incomprehensible to me.