For building TWRP for Xiaomi Redmi 1S only