Re: [GHC] #4938: Core2 CPU not detected correctly