Fix verifykernelsig