Term: boredomicide
Example: music is certainly an efficient boredomicide
Definition: any element used to terminate the feeling of boredom