323,324c323
< tc->setPC(tc->getSystemPtr()->kernelEntry);
< tc->setNextPC(tc->readPC());
---
> tc->pcState(tc->getSystemPtr()->kernelEntry);