[PATCH v2 01/10] kerberos: Use 64-bit integer for credential handles.