ddk: Add a stub ntddk.h header.