Great thinking. I'll also note that `sched_clock_register()` uses `pr_debug()`, which can be an alias of `printk()`, though I don't think that's it.