kMVX: Detecting Kernel Information Leaks with Multi-variant Execution - View it on GitHub