pkcs11: Adjusted data types to support 32 and 64 bit systems