On Mon, May 13, 2024 at 7:11 PM Michael Roth <michael.roth@xxxxxxx> wrote: > Hi Paolo, > > Yes, I was just about to submit a patch that does just that: > > https://github.com/mdroth/linux/commit/df55e9c5b97542fe037f5b5293c11a49f7c658ef Go ahead then! Paolo