Hello, On Mon, 24 Sep 2018 12:02:33 +0200, Jan Kundrát wrote: > is there a proper patch for this? I've just verified that 4.19-rc5 won't > boot for me either. Thomas' quick patch applies and makes the problem go > away. I was waiting for a quick review from Russell on my proposal, but since it didn't happen so far, I will send a proper patch series, hopefully today. Thanks for your reminder! Best regards, Thomas -- Thomas Petazzoni, CTO, Bootlin Embedded Linux and Kernel engineering https://bootlin.com