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)