Re: [GHC] #10234: Validate fails on armhf