TWRP/CWM device config for Galaxy Mini