compile tbs proprietary drivers directly into the linux kernel