Further reduce the diff between the arm_intrng gic driver and the version
in head.