The text cf3c24ebf16f, as Debian 7 (Wheezy) shipped it.
add a new clock alias
clk_add_alias(9) on Linux now