Cryptogenic Add some libkernel defs