synchronizing hardware with mach_wait_until()?