arm: Allow SCHED_HRTICK on ARM

 * Upstream change. Improves performance since we have a working
   high resolution timer.

Change-Id: I84f2100a943f166085ee03f30eda1baa48428b04