K 10
svn:author
V 4
mmel
K 8
svn:date
V 27
2015-11-28T12:09:36.500709Z
K 7
svn:log
V 322
ARM: Cumulative fixes for GIC
 - fix detection of interrupt root controller
 - allow (but warn) unsupported configuration bits
 - dont send EOI for spurious interrupts
 - print more informations for spurious interrupts
 - use device_printf() where appropriate

Reviewed by:	ian (earlier version)
Approved by:	kib (mentor)

END