K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-06-04T08:47:45.507115Z
K 7
svn:log
V 334
Use the UEFI event timer to update the time on arm and arm64. The current
code uses the GetTime function from the Runtime Service, however this has
been shown to not return a useable time on many arm64 UEFI implementations.

Reviewed by:	jhb, smh
Sponsored by:	ABT Systems Ltd
Differential Revision:	https://reviews.freebsd.org/D6709

END