Real-Time Kernel Protection