[krbdev.mit.edu #1714] starttime marshalling bug on 64bit platforms in krb524d

[Tom Yu via RT]

This is partially due to a failure to duplicate code changes made to
libkrb4... we'll probably end up re-syncing the relevant code, which
should fix this problem.

---Tom