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

What exactly do you mean by reverting here?  It surely cannot be
reverted by itself and there are many things that depend on it.

Yes, it cannot be reverted cleanly on 4.6.

If I do 'git checkout 9be4fd2c7723a30' and then 'git revert
9be4fd2c7723a30' then the reboot command works.

quoted

quoted

Is this an SMP board, actually?

Yes, this is a single core CortexA7.

Hmm.  Single core means non-SMP rather?

CONFIG_SMP can be set or not in the kernel config. With CONFIG_SMP=n
the issue does not happen.