Coccinelle: setup_timer: improve messages from setup_timer