On Friday, May 20, 2016 11:59:06 PM Rafael J. Wysocki wrote:

On Fri, May 20, 2016 at 11:55 PM, Fabio Estevam [off-list ref] wrote:

quoted

On Fri, May 20, 2016 at 6:48 PM, Rafael J. Wysocki [off-list ref] wrote:

quoted

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?