[PATCH 07/13] ARM: GIC: function to retrieve the physical address of the SGIR