Crash after 'reboot' due to 9be4fd2c7723a

Fri May 20 14:59:06 PDT 2016

On Fri, May 20, 2016 at 11:55 PM, Fabio Estevam <festevam at gmail.com> wrote:
> On Fri, May 20, 2016 at 6:48 PM, Rafael J. Wysocki <rafael at kernel.org> wrote:
>
>> So what about if you comment out the cpufreq_suspend() line in
>> device_shutdown() (after applying the patch)?
>
> Then it reboots fine :-) Thanks

But that probably means that irq_work_sync() doesn't work on your system.

Can you please try to boot and change the cpufreq governor to
performance and back and see if that works?

Is this an SMP board, actually?