Boredom is a personality trait IMHO. Some of us never get bored, there's only lack of time and funds for hobbies and exploring.
Now I never get bored. Things have changed, but yeah, boredom used to be a real thing that people experienced no matter what their personality traits were.
At least you could have the decency to debate my comment instead of a feeble insult. My condolences.