Crash after 'reboot' due to 9be4fd2c7723a

[Rafael J. Wysocki]

On Friday, May 20, 2016 11:59:06 PM Rafael J. Wysocki wrote:
> 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?

No, it isn't (checked the report again).

Silly question maybe: Is CONFIG_IRQ_WORK set in your .config?