Ensuring operating system kernel integrity with OSck
A secure and reliable bootstrap architecture