linux: update to linux-3.9 and set as default

Signed-off-by: Stephan Raue <stephan@openelec.tv>
linux-tbs-drivers: fix build with kernel 3.9