fixed debug output for ps and vtimer

Floating point does not work properly on my msp430-gcc, hence I've split the ps-printf-line to get at least information about the thread switching.