Samsung DeviceTree update for v4.10: 1. Add TOPEET itop core and Elite boards, based on Exynos4412. 2. Remove the Exynos4415 DTSI. We did not have any mainlined boards using it. I am also not aware of any popular out-of-tree boards using it. 3. Add Snoop Control Unit node for Exynos4. 4. Minor cleanups.