Re: [GHC] #7620: Via-C unregisterised ARM build fails