remove further legacy time32 clock syscalls from public syscall.h