andrew c66a076a47 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
2017-09-03 09:41:40 +00:00
..
2017-08-03 14:43:41 +00:00