Re: [GHC] #7620: Via-C unregisterised build fails for integer-simple (was: Via-C unregisterised ARM build fails)