I think the comment about race conditions is spot on.

A while, back on hacker news, there was an article about a company developing a database. Their entire testing methodology came down to producing a deterministic kernel and thread scheduler. This allowed them to simulate every possible permutation of their concurrent code in scientifically speaking reproducible manner.

Developing this test framework was actually the majority of what the company did. Testing the kernel would be a similar level of effort.