Crash after 'reboot' due to 9be4fd2c7723a

[Rafael J. Wysocki]

On Saturday, May 21, 2016 12:27:54 AM Rafael J. Wysocki wrote:
> 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?

Well, the kernel wouldn't have built for you without it, so it must be set.