The text d2f9d509ae59, as Debian 13 (Trixie) shipped it.
get wether the timestamp counter can be read
PR_GET_TSC(2const) on Linux now
