clocksource: arch_timer: make virtual counter access configurable

FPIIM-2325

Change-Id: Ibdb1fd768b748002b90bfc165612c12c8311f8a2
2 files changed