3dfb71 add support for the timestamp counter on s390(x)

Authored and Committed by sharkcz 8 years ago
    add support for the timestamp counter on s390(x)