← Countering Kernel Malware in Virtual Execution Environments