Generalise the IRQ server
Fix IRQ server badge masks and priority
Move irq combiner implementation out to libplatsupport
Move IRQ server to libsel4utils and irq combiner driver to libplatsupport
Repond to vspace library API changes
Remove spurious debug prints
Virtial GIC: don't ack IRQs that are disabled in the VM context
Support Arndale GPIO device regions
Support copyin from a VM
Fix dependencies
Workaround for errata 766422
Squelch errata debug printing.
Add another partial instruction decode for errata 766422
squelch non-debug build warnings