How to exploit the x32 recvmmsg() kernel vulnerability CVE 2014-0038
blog.includesecurity.com
blog.includesecurity.com
Edit: On second thought, given that the kernel isn't custom, using files from another system with the same kernel is a trivial workaround.
Even if it is a custom kernel, an exploit that can read kernel memory can search for kallsyms within the binary. I wrote code to do this once, it's quite fun.