The C call is almost exactly the same as GHC.Conc.Sync.getNumProcessors,
and we used the C function from GHC, so there should be no actual
difference.