ARM: gic: fix missing parameter