add edge triggered patch for gic