P2020 contains E500 cores, and thus it contains everything that the E500 document describes, regardless of whether it's repeated in the P2020RM. The timers you found in P2020RM are completely separate from the core timebase/decrementer, and are not attached to any particular core.