For building TWRP for exynos based Samsung Galaxy S4