Tools for hacking Linux Kernel for Android