On Fri, Aug 17, 2018 at 2:17 PM Jason Gunthorpe [off-list ref] wrote:

Would you like a patch to remove that CONFIG option?

I've definitely considered it and would almost certainly just apply a
patch that removed it.

We haven't had this issue for a while (because people stopped using
the deprecated thing), so it ended up not having been an issue lately.
Yours was the first case of deprecation warnings I've seen in a
longish while.

          Linus