Re: [GHC] #11289: T8628 fails on ARM