Reformat pkeyutl.c, add support for verify operation but nothing actually