restore also the time stamp counter
restore also the time stamp counter

RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore