D-Mode exceptions may modify DPC

Because the definition of DPC already says "Executing the Program Buffer
may cause the value of dpc to become unspecified."

This fixes a contradiction in the spec.