clocksource: arch_timer: make virtual counter access configurable

Change-Id: Ibdb1fd768b748002b90bfc165612c12c8311f8a2
Signed-off-by: Greg Hackmann <ghackmann@google.com>
Signed-off-by: Kyle Yan <kyan@codeaurora.org>
2 files changed