Update 3.8 Linux kernel for BBB