Hi Rafael,

On Fri, May 20, 2016 at 6:20 PM, Rafael J. Wysocki [off-list ref] wrote:

quoted

If I rebuilt a kernel with SMP=n then the reboot command works as expected.

Does it work if you boot with maxcpus=1 or nosmp in the kernel command line?

No, it does not help.

Also, please try if the appended patch makes any difference.

I tried it, and the console shows "Requesting system reboot" and stays
there forever. No more messages after that and the system does not
reboot.