Re: [GHC] #7637: split-objs not supported for ARM