Added ntdriver benchmarks.
Slightly modified ntdrivers benchmarks to work with SMACK.