Crash after 'reboot' due to 9be4fd2c7723a

[Fabio Estevam]

Hi Rafael,

On Fri, May 20, 2016 at 6:20 PM, Rafael J. Wysocki <rjw at rjwysocki.net> wrote:

>> 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.