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