K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2017-07-05T09:27:18.421845Z
K 7
svn:log
V 177
Require the ARM Generic Timer driver is built for MULTIDELAY on 32bit arm.
As this driver is also used for DELAY on arm64 we need to keep the existing
DELAY code for it to use.

END