Hi, We are trying to build a kernel module for raspbian 3.10.18+. We updated to the newest kernel with rpi-update. Then we followed http://sandsoftwaresound.net/raspberry-pi/build-a-kernel-module/ And we changed rpi-3.6.y.tar.gz to rpi-3.10.y.tar.gz to get the corresponding header files. We followed...