Added simplified ntdrivers benchmarks.
Updated simplified ntdrivers to work with SMACK.
Added regression test script for simplified ntdrivers.