Tricore: different definitions of pcxi register field