Re: [GHC] #9512: T9329 fails test on unregisterised i386