The text af483badb992, as Debian 7 (Wheezy) shipped it.
kernel lock profiling support
LOCK_PROFILING(9freebsd) on Linux now
