Android GUI: Support patching ROMs for multi boot