Patches for building kitkat for galaxys4gmtd