An Architecture for Kernel-Level Verification of Executables at Run Time