linux-tbs-drivers: fix build with kernel 3.9