The GIC driver has been recently changed to support Device Tree. Make changes to use the Device Tree interrupt framework intialize the GIC instead of invoking it manually. Change-Id: I611bce3e8662583ba66553fd7ec37eac83b60388 Signed-off-by: Michael Bohan <mbohan@codeaurora.org>