Support > 64 processors

[be5invis]

The current API uses a number as the processor mask, which doesn't work for system have more than 64 processors. Also on Win32, supporting > 64 cores need to use a different API call.

[saquibkhan]

@be5invis May I know how important is this feature, also feel free to raise a PR