Microsoft Proposes "Hornet" Security Module for the Linux Kernel