in pyconfig.h, NTDDI_WIN2KSP4 is not *yet* defined, but will be at some point on some modules.

Let this line even for older SDKs, they don't use it anyway.