K 10
svn:author
V 2
br
K 8
svn:date
V 27
2014-04-03T05:48:56.861892Z
K 7
svn:log
V 277
- Setup both secure and non-secure timer IRQs.
  We don't know our ARM security state, so one of them will operate.
- Don't set frequency, since it's unpossible in non-secure state.
  Only rely on DTS clock-frequency value or get clock from timer.

Discussed with:	ian, cognet

END