s390/vtime: correct idle time calculation
This page took 1.334614 seconds and 4 git commands to generate.