Boot image manipulation tools for Android