document possible future use of Mach clock_get_time on Apple ARM platforms, depening on whether we learn whether mach_absolute_time uses the CPU TSC on ARM and if ARM TSCs are invariant