muppets use proprietary_vendor_samsung

Change-Id: I65a32e07f8a7be64daecb155a7bed956503f1f57