Kernel and image tools for Android