Ensuring operating system kernel integrity with OSck
control - flow integrity .