Kernel RSA verification example