fixed debug output for ps and vtimer
Merge pull request #297 from OlegHahm/debug_fixes

fixed debug output for ps and vtimer