On Wed, May 10, 2023 at 08:33:00AM +0200, Ard Biesheuvel wrote:> On Wed, 10 May 2023 at 08:30, Colin Foster> > Thanks for the report.> > This should fix it:> > https://www.armlinux.org.uk/developer/patches/viewpatch.php?id=9297/1Looks like it. I'll apply then wait for the next RC. Thanks for this,and the super quick response!