Re: [GHC] #10525: Enable SMP and GHCI on aarch64 in 7.10.2