Merge pull request #1130 from jeenu-arm/gic-patches

New GIC APIs and specifying interrupt propertes