K 10
svn:author
V 8
jmcneill
K 8
svn:date
V 27
2016-09-04T22:30:46.458268Z
K 7
svn:log
V 46
A64 thermal sensor IRQ is GIC_SPI 31, not 41.

END