IRQL and maybe other platform-dependent constants mismatch

[HoShiMin]

In C++ WDK, we have different definitions of IRQL constants for different platforms (_X86_, _AMD64_, _ARM_, _ARM64_). But in windows-rs we have consts from the _X86_ target for all platforms:

// wdm.h:
#if defined(_X86_) 
...
#define HIGH_LEVEL 31               // Highest interrupt level
...
#endif 
#if defined(_AMD64_)
...
#define HIGH_LEVEL 15                   // Highest interrupt level
...
#endif

But got:

// sys::src::Windows::Wdk::System::SystemServices::mod.rs
pub const HIGH_LEVEL: u32 = 31u32; // Must be 15 for x86_64, arm and arm64 targets

And it's a critical issue as we have to re-check all constants now to ensure they're correct...