ppc/xive: introduce a XIVE interrupt source model