Improving Linux Kernel Fuzzing