K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2017-09-03T09:41:40.471697Z
K 7
svn:log
V 174
Disable the ARM generic timers before interrupts are enabled. Some
Raspberry Pi firmware images leave them enabled causing an interrupt storm.

Sponsored by:	ABT Systems Ltd

END