intc: add an interface to gather statistics/informations on interrupt controllers