This is reusing a kernel, so we should remember that it can be affected by other tests. However, I don't think we should make it use another new kernel, because that's a substantial extra slowdown for a quite trivial test.