Follow instructions in this post to get a 3.8.13 kernel and install it and the header files.
Then use the instructions here to re-make scripts
on the board so that it rebuilds for ARM those objects that currently are x86. This is needed because the kernel files above were cross-compiled from x86.
Then you should be able to build kernel modules.