K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-02-11T18:01:10.061777Z
K 7
svn:log
V 118
Enable ARM_INTRNG on all kernel configs where we use the Generic Interrupt
Controller.

Sponsored by:	ABT Systems Ltd

END