add galaxys4gmtd into AOKP proprietary vendor samsung