Kernel Control Flow Testing