On Wed, May 25, 2022 at 10:27:52AM +0100, Will Deacon wrote:
> On Wed, May 25, 2022 at 09:46:13AM +0100, Mark Rutland wrote:

> > Catalin/Marc/Will, any preference?

> I don't really see what we gain by changing this stuff, other than it making
> it harder to apply stable backports automatically.

OK, I'll just leave these with the existing naming scheme.