CPU_PUSH_CALL_FRAME: Typo in DSP56k version.