Re: [GHC] #14781: Incorrect CPU core counts in virtualized environments