Introduce interrupt management framework in BL3-1

Fixes issues #104 and #134