The text c377f2b75b94, as Debian 7 (Wheezy) shipped it.
"free" the clock source
clk_put(9) on Linux now
