how to test a linux driver for SMP concurrency issues