Hello,

With the hurd-amd64 port coming up, we do not plan to introduce a 64bit
time interface to hurd-i386, so could you please apply the attached
patch to disable requiring it until we completely replace hurd-i386 with
hurd-amd64?

Thanks,
Samuel