pseries: Add tracepoints to the XICS interrupt controller