K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-11-22T18:13:04.368178Z
K 7
svn:log
V 233
Only build acpi_timer.c on x86, it fails on arm64 as it attempts to access
an invalid address. It is also unneeded on arm64 as we use the ARM Generic
Timer driver.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

END