Android tools for boot.img manipulations