i9500: Switch to TheMuppets vendor

Change-Id: Ia21e4147773951695d6f30d364cf20bf77cfba86