timer_list: Use printk format instead of open-coded symbol lookup