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

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

I cannot change to governor with 9be4fd2c7723a305.

After running 'cat performance >
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor'
the system hangs silently.

Reverting 9be4fd2c7723a305 allows me to change to performace.

Is this an SMP board, actually?

Yes, this is a single core CortexA7.