Updated ntdrivers-simplified to svcomp14.