Fix up /android_os_SystemClock.cpp

Change-Id: Ie039a76235e99c165ec62a349d247c14323ef09b