Another questions, are there newer kernels than 3.5.7 available and are there instructions on how to build the kernel somewhere? I'm trying to build an external kernel module that works with Linux 3.6 and newer.