Some 10.2 --> 11.0 for device trees and a Muppets repo

Change-Id: Ifda261fe45a5f2cd99df154e0dea3687793d8e75