How do you test Linux kernel?