[PATCH 4.14 80/95] s390/idle: fix cpu idle time calculation