Hello
The S12ZVL Reference Manual has not yet been released, so it is not clear exactly which information you are referring to.
However to clarify a few points.
PP1, PP3 and PP5 are not EVDD pins. PP1, PP3 and PP5 have increased current driving capability to VSSX ground.
PP7 is the EVDD1 pin which has increased current driving capability to VDDX.
The EVDD1 specification has a range of -20mA to +10mA for that pin.
The PP1,PP3 and PP5 spec. maximum is +25mA for each pin.
The total maximum current of 80mA (absolute maximum ratings) must also be taken into consideration.
The first official reference manual shall be published soon.
DPB