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/1 Looks like it. I'll apply then wait for the next RC. Thanks for this, and the super quick response!