Merge "SystemClock: use clock_gettime() on devices without /dev/alarm"