ppc/xive: introduce a XiveTCTX pointer under PowerPCCPU