docs: updates on the POWER9 XIVE interrupt controller documentation