Not sure what this is about? Read this post, and maybe this post first.

Just to let you know that I no longer have my Nexus 10 with me, but Frank Degen (from the comments) kindly offered to test the kernel if I build it and has reported back that it works, so here it is:

http://blog.tan-ce.com/files/5.1-kernel/tce-manta-LMY47D.zip