Update and rename full_i9500.mk to full_tf4.mk