drivers: intc_gic: Return GICC_IAR without mask

The documentation recommends to read and then write-back the entire
register, when ending interrupts.

Signed-off-by: Mateusz Karlic <mkarlic@antmicro.com>
1 file changed