On Mon, Oct 09, 2017 at 09:05:32PM +0200, Greg KH wrote:

> What fix?  :(

It's a null diff, the change isn't needed any more.