Great guide on how to cross compile your own kernel for MK808 from Ubuntu x86 http://hwswbits.blogspot.co.uk/2013/03/compiling-picuntu-kernel-ubuntu-linux.html