I don't think anyone really knows what or how people's thoughts would change if they were to live to a thousand years (or a million, whatever).
Given that, I think there are probably different feelings which we all call bored. There is bored in the immediate term, bored in general, and ennui.