The text 925653a1120c, as Debian 7 (Wheezy) shipped it.
Hardware Performance Monitoring Counter support
hwpmc(4freebsd) on Linux now
