Hi Jason,

I've just started assisting Thomas with review / wrangling patches 
for
drivers/irqchip. If you could Cc me on the next revision, I'd 
appreciate
it.

That's excellent news! If you didn't have enough on your plate already, 
feel free to have a look at the GICv3 patches I reposted yesterday! :-)

Thanks,

         M.
-- 
Fast, cheap, reliable. Pick two.