On Thu, 2020-04-23 at 23:50 +0100, Ben Hutchings wrote: > I came up with a simpler alternative: > https://salsa.debian.org/kernel-team/linux/-/commit/67fa568149b985f73b333acdec4481acf667192f Looks good... and seems like the best solution. Thanks, Chris.