The text 38f1c75137b0, as Debian 7 (Wheezy) shipped it.
caller-controlled printk ratelimiting
printk_timed_ratelimit(9) on Linux now
