Linux kernel includes guest cputime in user cputime and thus guest cputime
must not be added when calculating total cputime for each core. This bugfix
was already implement in Werk 6735 for the all cores combined total CPU
Test are included to verify the correct behavior.
To the list of all Werks