K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2018-07-28T06:46:10.754070Z
K 7
svn:log
V 103
Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files.
These are unneeded with INTRNG.

END