[seL4] Re: gic v2 vs gic v3