> I know. Looking for a better suggestions. Kumar suggested a Kconfig > option at least, which is what I'm going to go with unless someone has a > better idea... Yes, I do: Fix the TSI driver, it should be trivial :-) Ben.