Updated wdk and wdk-src

Updated wdk to 0.3.24-4.
Updated wdk-src to 0.3.24-1.