@simonsouth - it is also very plausible that your patch will resolve problem with kexec. Which is there for last couple of years.
But I didn't test it.
I forgot to say - thank you for you work
But I didn't test it.
I forgot to say - thank you for you work