Improving the testing quality of the kernel