kerberos: Use the global memory allocation helpers.