i9100: back to TheMuppets

It doesn't use blobs from smdk4412; only the kernel.

Change-Id: Ic7651394781b95ec41b9f78c2e04a58c36c0d88e