Working GIC interrupts

GIC interrupts now working. GIC in Cubietruck does not contain security
extensions, therefore conditionals are left out.

Tested with GICD_SGIR, however bug introduced of serial output corrupting
after interrupt has been handled