[GHC] #11289: T8628 fails on ARM