Crash after 'reboot' due to 9be4fd2c7723a

[Rafael J. Wysocki]

On Fri, May 20, 2016 at 11:37 PM, Fabio Estevam <festevam at gmail.com> wrote:
> 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.

So what about if you comment out the cpufreq_suspend() line in
device_shutdown() (after applying the patch)?