On Fri, Aug 09, 2024 at 10:57:45AM +0100, Mark Rutland wrote: > [ Upstream commit b0672bbe133ebb6f7be21fce1d742d52f25bcdc7 ] Now I figured it out, this is the wrong git id, and is not in any tree anywhere. It should be adeec61a4723fd3e39da68db4cc4d924e6d7f641. I'll go hand-edit it now... greg k-h