changes to use TheMuppets vendor tree as google haven't released updated bin packs

Change-Id: Ia510a9ea697a8b8f3716aa070b971d44e7a3294e