docs: provide documentation on the POWER9 XIVE interrupt controller