I've not had a reply and can't find any other answers elsewhere, so I guess the answer is "no".
In that case I'm going to hold kernel updates i.e. stick with same kernel for six months or so and only update manually, and rebuild TBS drivers at that point.
