Control Flow Integrity in the Linux Kernel