Hello Will, On Wed, 22 Nov 2017, Will Deacon wrote: > Now, I can't see what the break_lock is doing here other than causing > problems. Is there a good reason for it, or can you just try removing it > altogether? Patch below.
With your patch applied the system is able to boot again. I did some quick additional tests - seems to be working fine. Thanks, Sebastian

